Grid   List

  1. 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 ve...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  2. Formal Methods: Applications and Technology

    Formal Methods: Applications and Technology

    Lubos Brim
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the thoroughly refereed j...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  3. Runtime Verification

    Runtime Verification

    Martin Leucker
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the thoroughly refereed p...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  4. Runtime Verification

    Runtime Verification

    Christian Colombo
    Springer International Publishing
    Ebook
    Sofort lieferbar

    Chapter 'Hardware-based Runtime Verification wi...

    80,24 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  5. Theoretical Aspects of Computing - ICTAC 2009

    Theoretical Aspects of Computing - ICTAC 2009

    Martin Leucker
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  6. Theoretical Aspects of Computing - ICTAC 2015

    Theoretical Aspects of Computing - ICTAC 2015

    Martin Leucker
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  7. Formal Methods in Outer Space

    Formal Methods in Outer Space

    Ezio Bartocci
    Springer International Publishing
    Ebook
    Sofort lieferbar

    The book title reflects Klaus's main research a...

    58,84 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  8. Formal Methods

    Formal Methods

    Marsha Chechik
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    96,29 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  9. Model-Based Testing of Reactive Systems

    Model-Based Testing of Reactive Systems

    Manfred Broy
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    Testing is the primary hardware and software ve...

    89,99 €
    Alle Preise inkl. MwSt | zzgl. Versand
    Zum Merkzettel
  10. Runtime Verification

    Runtime Verification

    Martin Leucker
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the thoroughly refereed p...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  11. Formal Methods: Applications and Technology

    Formal Methods: Applications and Technology

    Lubos Brim
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    These are the joint ?nal proceedings of the 11t...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  12. Runtime Verification

    Runtime Verification

    Martin Leucker
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings ...

    80,24 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  1. 1
  2. 2
Google Plus
Powered by Inooga