Formal Methods for Real-Time and Probabilistic SystemsJoost-Pieter Katoen
Formal Methods for Real-Time and Probabilistic Systems
Joost-Pieter Katoen · 1999
Where to buy
Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.
View on AmazonThis is an affiliate link: if you buy through it, the site earns a small commission at no extra cost to you, which helps us bring quality content and maintain the site. As an Amazon Associate we earn from qualifying purchases.
Book details
- Year
- 1999
- Language
- English
- Series
- Lecture Notes in Computer Science -- 1601,
- Publisher
- Springer-Verlag Berlin Heidelberg
- Editions
- 1
- ISBN
- 9783540487784
Data source: Wikidata
More by Joost-Pieter Katoen
CONCUR 2011 – Concurrency TheoryJoost-Pieter Katoen
CONCUR 2011 – Concurrency Theory
Joost-Pieter Katoen · 2011
ModelEd, TestEd, TrustEdJoost-Pieter Katoen
ModelEd, TestEd, TrustEd
Joost-Pieter Katoen · 2017
Tools and Algorithms for the Construction and Analysis of SystemsJoost-Pieter Katoen
Tools and Algorithms for the Construction and Analysis of Systems
Joost-Pieter Katoen · 2003