scroll to top
Skip to Search
Skip to Navigation
Skip to Main Content
Skip to Footer
Suggest a Title
Connect to CCPL
Branches
Ask-a-Librarian
Title Suggestions
Programming
Outreach and Mobile Library
Children
Teens
Library News
Charleston Time Machine
Video
Support Your Library
Subscribe to CCPL Newsletters
Use Your Library
Digital Collections
Explore with CCPL
Curbside Signup
Book a Room
Creative Studios
South Carolina History
Art & Special Collections
Recommendations & Clubs
Business Resources
InterLibrary Loan
Tech Team Training
L Squared
Health Services
Research
Events and Programs
Kids
Teens
Adults
Calendar
Storytime
How Do I?
Get A Card
Manage My Account
Borrow Items
Book a Room
Get Books by Mail
Renew Items
Reserve Items
Use Computers and Print
Use InterLibrary Loan
Get CCPL eNewsletters
Support the Library
About CCPL
Building Updates
Meet the CCPL Team
Careers at CCPL
Friends of the Library
Policies & Procedures
Board of Trustees
Extraordinary Contributions
Financial Reports
Annual Report
Log In
Branches
Get A Card
Book a Room
Classic Catalog
Google Translate
Select language
English
Arabic
Bengali
Bosnian
Cebuano
Chichewa
Chinese (Simplified)
Chinese (Traditional)
French
Hawaiian
Italian
Portuguese
Spanish
Menu
West Ashley Library
Closed
Phone:
(843) 766-6635
Wando Mount Pleasant Library
Closed
Phone:
(843) 805-6888
Email Us
Village Library
Closed
Phone:
(843) 884-9741
St. Paul's/Hollywood Library
Closed
Phone:
(843) 889-3300
Otranto Road Library
Closed
Phone:
(843) 572-4094
Mt. Pleasant Library
Closed
Phone:
(843) 849-6161
McClellanville Library
Closed
Phone:
(843) 887-3699
Keith Summey North Charleston Library
Closed
Phone:
(843) 744-2489
John's Island Library
Closed
Phone:
(843) 559-1945
Hurd/St. Andrews Library
Closed
Phone:
(843) 766-2546
Folly Beach Library
Closed
Phone:
(843) 588-2001
Dorchester Road Library
Closed
Phone:
(843) 552-6466
John L. Dart Library
Closed
Phone:
(843) 722-7550
Bees Ferry West Ashley Library
Closed
Phone:
(843) 805-6892
Baxter-Patrick James Island
Closed
Phone:
(843) 795-6679
Miss Jane's Building (Edisto Library Temporary Location)
Closed
Phone:
(843) 869-2355
Edgar Allan Poe/Sullivan's Island Library
Closed for renovations
Phone:
(843) 883-3914
Main Library
2 p.m. – 5 p.m.
Phone:
(843) 805-6930
Mobile Library
Closed
Phone:
(843) 805-6909
Email Us
Today's Hours
West Ashley Library
Closed
Phone:
(843) 766-6635
Wando Mount Pleasant Library
Closed
Phone:
(843) 805-6888
Email Us
Village Library
Closed
Phone:
(843) 884-9741
St. Paul's/Hollywood Library
Closed
Phone:
(843) 889-3300
Otranto Road Library
Closed
Phone:
(843) 572-4094
Mt. Pleasant Library
Closed
Phone:
(843) 849-6161
McClellanville Library
Closed
Phone:
(843) 887-3699
Keith Summey North Charleston Library
Closed
Phone:
(843) 744-2489
John's Island Library
Closed
Phone:
(843) 559-1945
Hurd/St. Andrews Library
Closed
Phone:
(843) 766-2546
Folly Beach Library
Closed
Phone:
(843) 588-2001
Dorchester Road Library
Closed
Phone:
(843) 552-6466
John L. Dart Library
Closed
Phone:
(843) 722-7550
Bees Ferry West Ashley Library
Closed
Phone:
(843) 805-6892
Baxter-Patrick James Island
Closed
Phone:
(843) 795-6679
Miss Jane's Building (Edisto Library Temporary Location)
Closed
Phone:
(843) 869-2355
Edgar Allan Poe/Sullivan's Island Library
Closed for renovations
Phone:
(843) 883-3914
Main Library
2 p.m. – 5 p.m.
Phone:
(843) 805-6930
Mobile Library
Closed
Phone:
(843) 805-6909
Email Us
×
Patron Login
Library Card Number
*
Pin
*
Staff Login
×
Google Translate
Select language
English
Arabic
Bengali
Bosnian
Cebuano
Chichewa
Chinese (Simplified)
Chinese (Traditional)
French
Hawaiian
Italian
Portuguese
Spanish
increase font size
decrease font size
Log In
Branches
Get A Card
Book a Room
Classic Catalog
Site Search
Search Options
CCPL Collection
CCPL Website
Classic Catalog
menu
Suggest a Title
Connect to CCPL
Branches
Ask-a-Librarian
Title Suggestions
Programming
Outreach and Mobile Library
Children
Teens
Library News
Charleston Time Machine
Video
Support Your Library
Subscribe to CCPL Newsletters
Use Your Library
Digital Collections
Explore with CCPL
Curbside Signup
Book a Room
Creative Studios
South Carolina History
Art & Special Collections
Recommendations & Clubs
Business Resources
InterLibrary Loan
Tech Team Training
L Squared
Health Services
Research
Events and Programs
Kids
Teens
Adults
Calendar
Storytime
How Do I?
Get A Card
Manage My Account
Borrow Items
Book a Room
Get Books by Mail
Renew Items
Reserve Items
Use Computers and Print
Use InterLibrary Loan
Get CCPL eNewsletters
Support the Library
About CCPL
Building Updates
Meet the CCPL Team
Careers at CCPL
Friends of the Library
Policies & Procedures
Board of Trustees
Extraordinary Contributions
Financial Reports
Annual Report
Item request has been placed!
×
Item request cannot be made.
×
Processing Request
Search Results
Display Settings
Results per page:
10
10
25
50
Sort By: Relevance
Relevance
Date Descending
Date Ascending
Filter
Previous
1-1 of
1 results for ""WING, Jeannette M.""
Next
Your Filters
Publication : acm computing surveys
Reset filters
Item request has been placed!
×
Item request cannot be made.
×
Processing Request
Academic Journal
Formal methods: state of the art and future directions.
Authors :
Clarke, Edmund M.
;
Wing, Jeannette M.
Source:
ACM Computing Surveys. 1996, Vol. v28, Issue n4, pages. 18
Record details
Read More
Add to Saved list
×
Previous
1-1 of
1 results for ""WING, Jeannette M.""
Next
×
