Software VerificationMaria Christakis
Software Verification
Maria Christakis, Nadia Polikarpova, Parasara Sridhar Duggirala, Peter Schrammel · 2020
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
- 2020
- Language
- English
- Publisher
- Springer International Publishing AG
- Editions
- 1
- ISBN
- 9783030636173
Data source: Wikidata