Lectures on Formal Methods and Performance AnalysisEd Brinksma
Lectures on Formal Methods and Performance Analysis
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
- 2003
- Language
- English
- Publisher
- Springer London, Limited
- Editions
- 1
- Pages
- 434
- ISBN
- 9783540446675
Data source: Wikidata
More by Ed Brinksma
Computer aided verificationEd Brinksma
Computer aided verification
Ed Brinksma · 2002
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