Grid   List

  1. Model Checking Software

    Model Checking Software

    Klaus Havelund
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  2. Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Javier Esparza
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    ETAPS 2010 was the 13th instance of the Europea...

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

    Runtime Verification

    Ezio Bartocci
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

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

    Computer Aided Verification

    Rupak Majumdar
    Springer International Publishing
    Ebook
    Sofort lieferbar

    The two-volume set LNCS 10426 and LNCS 10427 co...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  5. Hybrid Systems: Computation and Control

    Hybrid Systems: Computation and Control

    Rupak Majumdar
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  6. Computer Aided Verification

    Computer Aided Verification

    Rupak Majumdar
    Springer International Publishing
    Ebook
    Sofort lieferbar

    The two-volume set LNCS 10426 and LNCS 10427 co...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  7. Networked Systems

    Networked Systems

    Chryssis Georgiou
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the revised selected pape...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  8. Principles of Systems Design

    Principles of Systems Design

    Jean-François Raskin
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This Festschrift is dedicated to Thomas A. Henz...

    96,29 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  9. Hybrid Systems: Computation and Control

    Hybrid Systems: Computation and Control

    Paulo Tabuada
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings ...

    60,10 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  10. Tools and Algorithms for the Construction and Analysis of Systems

    Tools and Algorithms for the Construction and Analysis of Systems

    Rupak Majumdar
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    proceedings. Its format is open-ended, allowing...

    60,10 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  11. Runtime Verification

    Runtime Verification

    Rupak Majumdar
    Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings ...

    60,10 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  12. Computer Aided Verification

    Computer Aided Verification

    Viktor Kun¿ak
    Springer International Publishing
    Taschenbuch
    Print on Demand

    The two-volume set LNCS 10426 and LNCS 10427 co...

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