Computer aided verificationKim Guldstrand Larsen
Computer aided verification
Kim Guldstrand Larsen · 1992
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
- 1992
- Language
- English
- Publisher
- Springer
- Editions
- 1
- Pages
- 487
- ISBN
- 9783540551799
Data source: Wikidata
More by Kim Guldstrand Larsen
Formal Methods for Industrial Critical SystemsKim Guldstrand Larsen
Formal Methods for Industrial Critical Systems
Kim Guldstrand Larsen · 2019
Dependable Software Engineering. Theories, Tools, and ApplicationsKim Guldstrand Larsen
Dependable Software Engineering. Theories, Tools, and Applications
Kim Guldstrand Larsen · 2017