Joost-Pieter Katoen

(1 - 11 von 12

)

(CONCUR Concurrency Theory: 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings) By Katoen, Joost-Pieter (Author) paperback on (10 , 2011)

von Joost-Pieter Katoen, Springer, 2011, Taschenbuch

Formal Methods for Real-Time and Probabilistic Systems. 5th International AMAST Workshop, ARTS'99 Bamberg, Germany, May 1999, Proceedings. (= Lecture Notes in Computer Science, No )

von Joost-Pieter (Ed.) Katoen, Springer, Berlin/New YorkBroschiert

Joost-Pieter KatoenPenguin Books New Zealand

www.penguin.co.nz

Books by Joost-Pieter Katoen ... This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply. Books by Joost-Pieter Katoen ... This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Principles of Model Checking - Christel Baier, Joost-Pieter ...Google Books

books.google.com

— Joost-Pieter Katoen is Professor at the RWTH Aachen University and leads the Software Modeling and Verification Group within the Department — Joost-Pieter Katoen is Professor at the RWTH Aachen University and leads the Software Modeling and Verification Group within the Department ...

Principles of Model Checking : Christel Baier, Joost-Pieter ...Book2look

www.book2look.com

Principles of Model Checking, Christel Baier, Joost-Pieter Katoen, A comprehensive introduction to the foundations of model checking, a fully automated ... Principles of Model Checking, Christel Baier, Joost-Pieter Katoen, A comprehensive introduction to the foundations of model checking, a fully automated ...