Computer aided verificationEd Brinksma
Computer aided verification
Ed Brinksma · 2002
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
- 2002
- Language
- English
- Publisher
- Springer
- Editions
- 3
- Pages
- 626
- ISBN
- 9783540439974
Data source: Wikidata
More by Ed Brinksma
Tools and Algorithms for the Construction and Analysis of SystemsEd Brinksma
Tools and Algorithms for the Construction and Analysis of Systems
Ed Brinksma · 1997
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas '95 Aarhus, Denmark, May 19-20, 1995Ed Brinksma
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, Tacas '95 Aarhus, Denmark, May 19-20, 1995
Ed Brinksma · 1995
Lectures on Formal Methods and Performance AnalysisEd Brinksma
Lectures on Formal Methods and Performance Analysis
Ed Brinksma · 2003