*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. Runtime Verification
    Runtime Verification
    Martin Leucker
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Formal Methods: Applications and Technology
    Formal Methods: Applications and Technology
    Lubos Brim
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Theoretical Aspects of Computing - ICTAC 2009
    Theoretical Aspects of Computing - ICTAC 2009
    Martin Leucker
    Springer, Springer Spektrum
    Taschenbuch
    BOD - 2 Tage

    ThisvolumecontainsthepaperspresentedatICTAC2009:the6thInternational Colloquium on Theoretical Asp...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Theoretical Aspects of Computing - ICTAC 2015
    Theoretical Aspects of Computing - ICTAC 2015
    Martin Leucker
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Runtime Verification
    Runtime Verification
    Christian Colombo
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    80,24 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Formal Methods in Outer Space
    Formal Methods in Outer Space
    Ezio Bartocci
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    58,84 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. 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