Verification of Sequential and Concurrent Programs - Info and Reading Options
By Krzysztof R. Apt
"Verification of Sequential and Concurrent Programs" was published by Springer London, Limited in 2009 and the language of the book is English.
“Verification of Sequential and Concurrent Programs” Metadata:
- Title: ➤ Verification of Sequential and Concurrent Programs
- Author: Krzysztof R. Apt
- Language: English
- Publisher: Springer London, Limited
- Publish Date: 2009
“Verification of Sequential and Concurrent Programs” Subjects and Themes:
- Subjects: ➤ Logic design - Computer science - Computer software, verification
Edition Specifications:
- Pagination: xxiv, 502
Edition Identifiers:
- The Open Library ID: OL35765769M - OL19909497W
- ISBN-13: 9781848827455
- All ISBNs: 9781848827455
AI-generated Review of “Verification of Sequential and Concurrent Programs”:
Read “Verification of Sequential and Concurrent Programs”:
Read “Verification of Sequential and Concurrent Programs” by choosing from the options below.
Search for “Verification of Sequential and Concurrent Programs” downloads:
Visit our Downloads Search page to see if downloads are available.
Find “Verification of Sequential and Concurrent Programs” in Libraries Near You:
Read or borrow “Verification of Sequential and Concurrent Programs” from your local library.
- The WorldCat Libraries Catalog: Find a copy of “Verification of Sequential and Concurrent Programs” at a library near you.
Buy “Verification of Sequential and Concurrent Programs” online:
Shop for “Verification of Sequential and Concurrent Programs” on popular online marketplaces.
- Ebay: New and used books.