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. Runtime Verification Runtime Verification

    Runtime Verification

    Martin Leucker
    Springer, Springer
    23.10.2008

    This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop ...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Formal Methods: Applications and Technology Formal Methods: Applications and Technology

    Formal Methods: Applications and Technology

    Lubos Brim
    Springer, Springer
    20.02.2007

    These are the joint ?nal proceedings of the 11th International Workshop on Formal Methods for Ind...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Runtime Verification Runtime Verification

    Runtime Verification

    Christian Colombo
    Springer, Springer
    08.11.2018

    This book constitutes the refereed proceedings of the 18th International Conference on Runtime Ve...

    Taschenbuch
    80,24 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Theoretical Aspects of Computing - ICTAC 2009 Theoretical Aspects of Computing - ICTAC 2009

    Theoretical Aspects of Computing - ICTAC 2009

    Martin Leucker
    Springer, Springer Spektrum
    29.07.2009

    ThisvolumecontainsthepaperspresentedatICTAC2009:the6thInternational Colloquium on Theoretical Asp...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Theoretical Aspects of Computing - ICTAC 2015 Theoretical Aspects of Computing - ICTAC 2015

    Theoretical Aspects of Computing - ICTAC 2015

    Martin Leucker
    Springer, Springer
    25.12.2015

    This book constitutes the refereed proceedings of the12th International Colloquium on Theoretical...

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

    Formal Methods in Outer Space

    Ezio Bartocci
    Springer, Springer
    28.09.2021

    This Festschrift, dedicated to Klaus Havelund on the occasion of his 65th birthday, celebrated in...

    Taschenbuch
    58,84 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Formal Methods Formal Methods

    Formal Methods

    Marsha Chechik
    Springer, Springer
    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
  1. 1