Joost-Pieter Katoen in Bücher - Alle

Artikel von Joost-Pieter Katoen anzeigen im kompletten Shop

Joost-Pieter Katoen als Mitarbeiter/in Alle 9 Treffer anzeigen

Marsha Chechik, Joost-Pieter Katoen, Martin Leucker - Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
Marsha Chechik, Joost-Pieter Katoen, Martin Leucker Formal Methods Englisch 03.03.2023 Taschenbuch CHF 134.00 4-7 Arbeitstage
Gilles Katoen Barthe, Gilles Barthe, Barthe Gilles, Joost-Pieter Katoen, Joost-Pieter (RWTH Aachen University Katoen, … - Foundations of Probabilistic Programming
Gilles Katoen Barthe, Gilles Barthe, Barthe Gilles, Joost-Pieter Katoen, Joost-Pieter (RWTH Aachen University Katoen, … Foundations of Probabilistic Programming Englisch 31.12.2020 Fester Einband CHF 96.00 1-3 Wochen
Nan Guan, Joost-Piete Katoen, Joost-Pieter Katoen, Jun Sun - Dependable Software Engineering. Theories, Tools, and Applications 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings
Nan Guan, Joost-Piete Katoen, Joost-Pieter Katoen, Jun Sun Dependable Software Engineering. Theories, Tools, and Applications Englisch 01.01.2019 Taschenbuch CHF 69.00 4-7 Arbeitstage
Joost-Pieter Katoen, Rom Langerak, Arend Rensink - ModelEd, TestEd, TrustEd Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Joost-Pieter Katoen, Rom Langerak, Arend Rensink ModelEd, TestEd, TrustEd Englisch 29.09.2017 Taschenbuch CHF 69.00 4-7 Arbeitstage
Joost-Pieter Katoen, Barbara König - CONCUR 2011 -- Concurrency Theory 22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings
Joost-Pieter Katoen, Barbara König CONCUR 2011 -- Concurrency Theory Englisch 26.08.2011 Taschenbuch CHF 70.00 6-7 Wochen
Joost-Piete Katoen, Joost-Pieter Katoen, Stevens, Stevens, Perdita Stevens - Tools and Algorithms for the Construction and Analysis of Systems 8th International Conference, TACAS 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002. Proceedings
Joost-Piete Katoen, Joost-Pieter Katoen, Stevens, Stevens, Perdita Stevens Tools and Algorithms for the Construction and Analysis of Systems Englisch 19.02.2009 Taschenbuch CHF 70.00 6-7 Wochen
Manfred Broy, Beng Jonsson, Bengt Jonsson, Joost-Pieter Katoen, Joost-Pieter Katoen et al, … - Model-Based Testing of Reactive Systems Advanced Lectures
Manfred Broy, Beng Jonsson, Bengt Jonsson, Joost-Pieter Katoen, Joost-Pieter Katoen et al, … Model-Based Testing of Reactive Systems Englisch 04.07.2005 Taschenbuch CHF 70.00 6-7 Wochen
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Holger Hermanns et al, Joost-Pieter Katoen, … - Validation of Stochastic Systems A Guide to Current Research
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Holger Hermanns et al, Joost-Pieter Katoen, … Validation of Stochastic Systems Englisch 08.10.2004 Taschenbuch CHF 70.00 6-7 Wochen
Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen - Lectures on Formal Methods and Performance Analysis First EEF/Euro Summer School on Trends in Computer Science, Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures
Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen Lectures on Formal Methods and Performance Analysis Englisch 29.08.2001 Taschenbuch CHF 69.00 4-7 Arbeitstage

Joost-Pieter Katoen als Autor/in

Christel Baier, Christel (Technische Universitat Dresden) Baier, Christel/ Katoen Baier, Baier Christel, Christel Bair, … - Principles of Model Checking
Christel Baier, Christel (Technische Universitat Dresden) Baier, Christel/ Katoen Baier, Baier Christel, Christel Bair, … Principles of Model Checking Englisch 25.04.2008 Fester Einband CHF 170.00 1-3 Wochen