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, Perdita Stevens · 2003

Where to buy

Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.

Book details

Year: 2003
Language: English
Publisher: Springer London, Limited
Editions: 1
Pages: 486
ISBN: 9783540460022

Data source: Wikidata

More by Joost-Pieter Katoen

CONCUR 2011 – Concurrency TheoryJoost-Pieter Katoen

CONCUR 2011 – Concurrency Theory

Joost-Pieter Katoen · 2011

Formal Methods for Real-Time and Probabilistic SystemsJoost-Pieter Katoen

Formal Methods for Real-Time and Probabilistic Systems

Joost-Pieter Katoen · 1999

ModelEd, TestEd, TrustEdJoost-Pieter Katoen

ModelEd, TestEd, TrustEd

Joost-Pieter Katoen · 2017