Buy Used and New Joost-Pieter Katoen Books

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

Save for later

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

Save for later

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

Save for later

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

Save for later

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

Save for later