Computer Aided VerificationConstantin Enea
Computer Aided Verification
Constantin Enea, Akash Lal · 2023
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
- 2023
- Language
- English
- Publisher
- Springer
- Editions
- 3
- ISBN
- 9783031377020
Data source: Wikidata
