20 results
Type of media (2)
Availability (2)
Classification (2)
Year
Persons
Publishers
Sort by
Results per page
Filter
20 results

Your search for Joost-Pieter Katoen

  1. Cover: Foundations of Probabilistic Programming - Cambridge University Press
    Gilles Barthe | Joost-Pieter Katoen | Alexandra Silva
    Foundations of Probabilistic Programming
    11/2020
    Cambridge University Press
    9781108805742 (ISBN)
    E-Book
    PDF
    Other editions
    €52.99
    Available for download
  2. Cover: ModelEd, TestEd, TrustEd - Springer
    Joost-Pieter Katoen | Rom Langerak | Arend Rensink
    ModelEd, TestEd, TrustEd
    Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
    10/2017
    Springer
    9783319682709 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Dependable Software Engineering. Theories, Tools, and Applications - Springer
    Nan Guan | Joost-Pieter Katoen | Jun Sun
    Dependable Software Engineering. Theories, Tools, and Applications
    5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings
    11/2019
    Springer
    9783030355401 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: Formal Methods - Springer
    Marsha Chechik | Joost-Pieter Katoen | Martin Leucker
    Formal Methods
    25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
    03/2023
    Springer
    9783031274817 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  5. Cover: CONCUR 2011 -- Concurrency Theory - Springer
    Joost-Pieter Katoen | Barbara König
    CONCUR 2011 -- Concurrency Theory
    22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings
    08/2011
    Springer
    9783642232176 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  6. Cover: Lectures on Formal Methods and Performance Analysis - Springer
    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
    06/2003
    Springer
    9783540446675 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  7. Cover: Validation of Stochastic Systems - Springer
    Christel Baier | Boudewijn R. Haverkort | Holger Hermanns
    Validation of Stochastic Systems
    A Guide to Current Research
    08/2004
    Springer
    9783540246114 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  8. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Joost-Pieter Katoen | 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
    07/2003
    Springer
    9783540460022 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  9. Cover: CONCUR 2011 -- Concurrency Theory - Springer
    Joost-Pieter Katoen | Barbara König
    CONCUR 2011 -- Concurrency Theory
    22nd International Conference, CONCUR 2011, Aachen, Germany, September 6-9, 2011, Proceedings
    08/2011
    1st EDN1st Edition
    Springer
    9783642232169 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  10. Cover: Dependable Software Engineering. Theories, Tools, and Applications - Springer
    Nan Guan | Joost-Pieter Katoen | Jun Sun
    Dependable Software Engineering. Theories, Tools, and Applications
    5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings
    11/2019
    Springer
    9783030355395 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  11. Cover: Model-Based Testing of Reactive Systems - Springer
    Manfred Broy | Bengt Jonsson | Joost-Pieter Katoen
    Model-Based Testing of Reactive Systems
    Advanced Lectures
    06/2005
    Springer
    9783540262787 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Available immediately
  12. Cover: Foundations of Probabilistic Programming - Cambridge University Press
    Gilles Barthe | Joost-Pieter Katoen | Alexandra Silva
    Foundations of Probabilistic Programming
    12/2020
    Cambridge University Press
    9781108488518 (ISBN)
    Book
    Hardback
    Other editions
    €74.50
    Shipment within 15-20 days
  13. Cover: ModelEd, TestEd, TrustEd - Springer
    Joost-Pieter Katoen | Rom Langerak | Arend Rensink
    ModelEd, TestEd, TrustEd
    Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
    09/2017
    Springer
    9783319682693 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  14. Cover: Formal Methods - Springer
    Marsha Chechik | Joost-Pieter Katoen | Martin Leucker
    Formal Methods
    25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings
    03/2023
    Springer
    9783031274800 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 15-20 days
  15. Cover: Principles of Model Checking - MIT Press
    Christel Baier | Joost-Pieter Katoen
    Principles of Model Checking
    04/2008
    MIT Press
    9780262026499 (ISBN)
    Book
    Hardback
    Other editions
    €179.81
    Shipment within 10-20 days
  16. Cover: Validation of Stochastic Systems - Springer
    Christel Baier | Boudewijn R. Haverkort | Holger Hermanns
    Validation of Stochastic Systems
    A Guide to Current Research
    08/2004
    Springer
    9783540222651 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  17. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Joost-Pieter Katoen | 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
    03/2002
    Springer
    9783540434191 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  18. Cover: Lectures on Formal Methods and Performance Analysis - Springer
    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
    08/2001
    Springer
    9783540424796 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  19. Cover: Tools and Algorithms for the Construction and Analysis of Systems - Springer
    Joost-Pieter Katoen | Perdita Stevens
    Tools and Algorithms for the Construction and Analysis of Systems
    01/2014
    Springer
    9783662183243 (ISBN)
    Book
    Paperback/Softback
    €23.16
    Not available
  20. This image is currently not available.
    Manfred Broy | Bengt Jonsson | Joost-Pieter Katoen
    Model-Based Testing of Reactive Systems
    09/2008
    Springer
    9783540812111 (ISBN)
    Book
    Paperback/Softback
    €23.16
    Not available