Book Search Results
Verification Of Sequential And Concurrent Programs by Krzysztof R. Apt
Find "Verification Of Sequential And Concurrent Programs" by Krzysztof R. Apt through these Search Results from the best data sources on the web and enjoy your read!
Books Results
Source: The Open Library
The Open Library Search Results
Search results from The Open Library
1Verification of sequential and concurrent programs
By Krzysztof R. Apt
“Verification of sequential and concurrent programs” Metadata:
- Title: ➤ Verification of sequential and concurrent programs
- Author: Krzysztof R. Apt
- Language: English
- Number of Pages: Median: 403
- Publisher: Springer-Verlag
- Publish Date: 1991 - 1997
- Publish Location: New York
“Verification of sequential and concurrent programs” Subjects and Themes:
- Subjects: ➤ Verification - Computer software - Vérification - Logiciels - Programmverifikation - Software - Verificatie
Edition Identifiers:
- The Open Library ID: OL2029951M - OL991370M
- Online Computer Library Center (OCLC) ID: 36138298 - 23142102
- Library of Congress Control Number (LCCN): 91007267 - 96029771
- All ISBNs: ➤ 0387948961 - 9780387975320 - 9780387948966 - 9783540975328 - 3540975322 - 0387975322
Access and General Info:
- First Year Published: 1991
- Is Full Text Available: Yes
- Is The Book Public: No
- Access Status: Borrowable
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
- Borrowing from Open Library: Borrowing link
- Borrowing from Archive.org: Borrowing link
Online Marketplaces
Find Verification of sequential and concurrent programs at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
2Verification of Sequential and Concurrent Programs
By Krzysztof R. Apt
“Verification of Sequential and Concurrent Programs” Metadata:
- Title: ➤ Verification of Sequential and Concurrent Programs
- Author: Krzysztof R. Apt
- Language: English
- Number of Pages: Median: 446
- Publisher: ➤ Brand: Springer - Springer - Springer New York - Springer London, Limited
- Publish Date: 1997 - 2009 - 2012
- Publish Location: New York, NY
“Verification of Sequential and Concurrent Programs” Subjects and Themes:
- Subjects: ➤ Logic design - Computer science - Computer software, verification
Edition Identifiers:
- The Open Library ID: OL35765769M - OL28145330M - OL27094279M
- Online Computer Library Center (OCLC) ID: 851820124
- All ISBNs: ➤ 9781475727166 - 1447125134 - 1475727143 - 9781848827455 - 147572716X - 9781447125136 - 1848827458 - 9781475727142
Access and General Info:
- First Year Published: 1997
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Verification of Sequential and Concurrent Programs at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
3Verification of sequential and concurrent programs
By Krzysztof R. Apt
“Verification of sequential and concurrent programs” Metadata:
- Title: ➤ Verification of sequential and concurrent programs
- Author: Krzysztof R. Apt
- Language: English
- Number of Pages: Median: 502
- Publisher: Springer
- Publish Date: 2009
- Publish Location: Dordrecht - London - New York
“Verification of sequential and concurrent programs” Subjects and Themes:
- Subjects: Verification - Computer software - Logic design - Computer science - Computer software, verification
Edition Identifiers:
- The Open Library ID: OL24892417M
- Online Computer Library Center (OCLC) ID: 432408525
- Library of Congress Control Number (LCCN): 2009932111
- All ISBNs: 184882744X - 9781848827448
Access and General Info:
- First Year Published: 2009
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: Unclassified
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Verification of sequential and concurrent programs at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
4Verification of Sequential and Concurrent Programs
By Krzysztof R. Apt
“Verification of Sequential and Concurrent Programs” Metadata:
- Title: ➤ Verification of Sequential and Concurrent Programs
- Author: Krzysztof R. Apt
- Language: English
- Number of Pages: Median: 444
- Publisher: Springer New York
- Publish Date: 1991
- Publish Location: New York, NY
“Verification of Sequential and Concurrent Programs” Subjects and Themes:
- Subjects: Logic design - Computer science - Computer software
Edition Identifiers:
- The Open Library ID: OL27094278M
- Online Computer Library Center (OCLC) ID: 851759857
- All ISBNs: 9781475743760 - 9781475743784 - 1475743769 - 1475743785
Access and General Info:
- First Year Published: 1991
- Is Full Text Available: No
- Is The Book Public: No
- Access Status: No_ebook
Online Access
Downloads Are Not Available:
The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.
Online Borrowing:
Online Marketplaces
Find Verification of Sequential and Concurrent Programs at online marketplaces:
- Amazon: Audiable, Kindle and printed editions.
- Ebay: New & used books.
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.