Verification of Sequential and Concurrent ProgramsKrzysztof Apt
Verification of Sequential and Concurrent Programs
Krzysztof Apt, Frank S. de Boer, Amir Pnueli · 2010
Where to buy
Check today’s price on Amazon. We do not show prices because they change daily.
View on AmazonAffiliate link. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 2010
- Publisher
- Springer
- Editions
- 1
- Pages
- 528
- ISBN
- 9781848827462
Data source: Wikidata
