Computer Aided VerificationKousha Etessami
Computer Aided Verification
Kousha Etessami, Sriram K. Rajamani · 2005
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
- 2005
- Language
- English
- Publisher
- Springer London, Limited
- Editions
- 1
- ISBN
- 9783540316862
Data source: Wikidata