Principles of Model Checking (The MIT Press)
by Christel Baier,Joost-Pieter Katoen
ISBN 13: 9780262026499
Format: Illustrated (975 pages) Publisher: The MIT Press Published: 03 Jun 2008
Save for later
Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European ... 2002. Pr (Lecture Notes in Computer Science)
by Perdita Stevens,Joost-Pieter Katoen
ISBN 13: 9783540434191
Format: Paperback (500 pages) Publisher: Springer Published: 13 Jun 2008
Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science: First EEF/Euro Summer School on ... 2090 (Lecture Notes in Computer Science)
by Ed Brinksma,Holger Hermanns,Joost-Pieter Katoen
ISBN 13: 9783540424796
Format: Paperback (444 pages) Publisher: Springer Published: 29 Aug 2001
ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday: 10500 (Lecture Notes in Computer Science)
by Joost-Pieter Katoen,Rom Langerak,Arend Rensink
ISBN 13: 9783319682693
Format: Paperback (404 pages) Publisher: Springer Published: 22 Oct 2017
Foundations of Probabilistic Programming
by Gilles Barthe,Joost-Pieter Katoen,Alexandra Silva
ISBN 13: 9781108488518
Format: Hardcover (582 pages) Publisher: Cambridge University Press Published: 03 Dec 2020
Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, ... 11951 (Lecture Notes in Computer Science)
by Nan Guan, Joost-Pieter Katoen, Jun Sun
ISBN 13: 9783030355395
Format: Paperback (156 pages) Publisher: Springer Published: 10 Nov 2019