Verification of Sequential and Concurrent Programs - Info and Reading Options
Texts in Computer Science, Third Edition
By Krzysztof R. Apt
"Verification of Sequential and Concurrent Programs" was published by Springer in Mar 04, 2012 and it has 528 pages.
“Verification of Sequential and Concurrent Programs” Metadata:
- Title: ➤ Verification of Sequential and Concurrent Programs
- Author: Krzysztof R. Apt
- Number of Pages: 528
- Publisher: Springer
- Publish Date: Mar 04, 2012
“Verification of Sequential and Concurrent Programs” Subjects and Themes:
- Subjects: ➤ Logic design - Computer science - Computer software, verification
Edition Specifications:
- Format: paperback
Edition Identifiers:
- The Open Library ID: OL28145330M - OL19909497W
- ISBN-13: 9781447125136
- ISBN-10: 1447125134
- All ISBNs: 1447125134 - 9781447125136
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.