joost pieter katoen

Grid   List

  1. CONCUR 2011 -- Concurrency Theory
    CONCUR 2011 -- Concurrency Theory
    Joost-Pieter Katoen
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 22nd International Conference on Concurrency Theory, CONCUR 2011, held in Aachen, Germany, September 5-10, 2011. The 32 revised full papers wer...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Dependable Software Engineering. Theories, Tools, and Applications
    Dependable Software Engineering. Theories, Tools, and Applications
    Nan Guan
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the proceedings of the 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019, held in Shanghai, China, in November 2019.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. ModelEd, TestEd, TrustEd
    ModelEd, TestEd, TrustEd
    Joost-Pieter Katoen
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Model-Based Testing of Reactive Systems
    Model-Based Testing of Reactive Systems
    Manfred Broy
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have been...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Validation of Stochastic Systems
    Validation of Stochastic Systems
    Christel Baier
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This tutorial volume presents a coherent and well-balanced introduction to the validation of stochastic systems; it is based on a GI Dagstuhl research seminar. Supervised by the seminar organizers ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Lectures on Formal Methods and Performance Analysis
    Lectures on Formal Methods and Performance Analysis
    Ed Brinksma
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Traditionally, models and methods for the analysis of the functional correctness of reactive systems, and those for the analysis of their performance (and - pendability) aspects, have been studied ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Joost-Pieter Katoen
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    ETAPS 2002 was the ?fth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998by combining a number of e...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. Formal Methods
    Formal Methods
    Marsha Chechik
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 25th International Symposium on Formal Methods, FM 2023, which took place in Lübeck, Germany, in March 2023.
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  9. ModelEd, TestEd, TrustEd
    ModelEd, TestEd, TrustEd
    Joost-Pieter Katoen
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday.The contributions in this Festschrift are written by a number of Ed's former Ph.D....
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. Model-Based Testing of Reactive Systems
    Model-Based Testing of Reactive Systems
    Manfred Broy
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    Testing is the primary hardware and software verification technique used by industry today. Usually, it is ad hoc, error prone, and very expensive. In recent years, however, many attempts have b...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  11. Lectures on Formal Methods and Performance Analysis
    Lectures on Formal Methods and Performance Analysis
    Ed Brinksma
    Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    Traditionally, models and methods for the analysis of the functional correctness of reactive systems, and those for the analysis of their performance (and - pendability) aspects, have been studied ...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  12. Validation of Stochastic Systems
    Validation of Stochastic Systems
    Christel Baier
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    It is with great pleasure that we present to you this tutorial volume entitled Validation of Stochastic Systems.ItisoneoftheresultsoftheDutch-German- lateral cooperation project Validation of Stoch...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
<%--for search--%>