Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Model-Based Testing of Reactive Systems Model-Based Testing of Reactive Systems

    Model-Based Testing of Reactive Systems

    Manfred Broy
    Springer, Springer
    27.06.2005

    Testing is the primary hardware and software verification technique used by industry today. Usual...

    Taschenbuch
    53,49 €
    Sofort lieferbar
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications

    Dependable Software Engineering. Theories, Tools, and Applications

    Nan Guan
    Springer, Springer
    10.11.2019

    This book constitutes the proceedings of the 5th International Symposium on Dependable Software E...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Lectures on Formal Methods and Performance Analysis Lectures on Formal Methods and Performance Analysis

    Lectures on Formal Methods and Performance Analysis

    Ed Brinksma
    Springer, Springer
    29.08.2001

    Traditionally, models and methods for the analysis of the functional correctness of reactive syst...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Validation of Stochastic Systems Validation of Stochastic Systems

    Validation of Stochastic Systems

    Christel Baier
    Springer, Springer
    11.08.2004

    It is with great pleasure that we present to you this tutorial volume entitled Validation of Stoc...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Tools and Algorithms for the Construction and Analysis of Systems Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Joost-Pieter Katoen
    Springer, Springer
    20.03.2002

    ETAPS 2002 was the ?fth instance of the European Joint Conferences on Theory and Practice of Soft...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. ModelEd, TestEd, TrustEd ModelEd, TestEd, TrustEd

    ModelEd, TestEd, TrustEd

    Joost-Pieter Katoen
    Springer, Springer
    29.09.2017

    This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th b...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Formal Methods Formal Methods

    Formal Methods

    Marsha Chechik
    Springer, Palgrave Macmillan
    03.03.2023

    This book constitutes the refereed proceedings of the 25th International Symposium on Formal Meth...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. CONCUR 2011 -- Concurrency Theory CONCUR 2011 -- Concurrency Theory

    CONCUR 2011 -- Concurrency Theory

    Joost-Pieter Katoen
    Springer, Berlin, Springer

    This book constitutes the refereed proceedings of the 22nd International Conference on Concurrenc...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 89,99 €

    Jetzt 53,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1