ModelEd, TestEd, TrustEdJoost-Pieter Katoen

ModelEd, TestEd, TrustEd

Joost-Pieter Katoen, Rom Langerak, Arend Rensink · 2017

Where to buy

Check today’s price on Amazon. We do not show prices because they change daily.

Affiliate link. As an Amazon Associate we earn from qualifying purchases.

Book details

Year: 2017
Publisher: Springer
Editions: 1
Pages: 403
ISBN: 9783319682693

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

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