*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Model-Based Testing of Reactive Systems
    Model-Based Testing of Reactive Systems
    Manfred Broy
    Springer, Springer
    Taschenbuch
    Sofort lieferbar

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. 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
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Validation of Stochastic Systems
    Validation of Stochastic Systems
    Christel Baier
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    Modelling Stochastic Systems.- Probabilistic Automata: System Types, Parallel Composition and Com...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Lectures on Formal Methods and Performance Analysis
    Lectures on Formal Methods and Performance Analysis
    Ed Brinksma
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. ModelEd, TestEd, TrustEd
    ModelEd, TestEd, TrustEd
    Joost-Pieter Katoen
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Dependable Software Engineering. Theories, Tools, and Applications
    Dependable Software Engineering. Theories, Tools, and Applications
    Nan Guan
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Formal Methods
    Formal Methods
    Marsha Chechik
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1