Grid   List

  1. Lectures on Runtime Verification

    Lectures on Runtime Verification

    Ezio Bartocci
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar

    The idea of this volume originated from the nee...

    69,54 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  2. Computational Methods in Systems Biology

    Computational Methods in Systems Biology

    Ezio Bartocci
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  3. From Reactive Systems to Cyber-Physical Systems

    From Reactive Systems to Cyber-Physical Systems

    Ezio Bartocci
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This Festschrift is in honor of Scott A. Smolka...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  4. Model Checking Software

    Model Checking Software

    Ezio Bartocci
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  5. 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
  6. 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
  7. Model Checking Software

    Model Checking Software

    C. R. Ramakrishnan
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand
    60,10 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  8. 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
  9. Lectures on Runtime Verification

    Lectures on Runtime Verification

    Yliès Falcone
    Springer International Publishing
    Taschenbuch
    Print on Demand

    The idea of this volume originated from the nee...

    74,69 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  10. Computational Methods in Systems Biology

    Computational Methods in Systems Biology

    Ezio Bartocci
    Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings ...

    60,10 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  11. From Reactive Systems to Cyber-Physical Systems

    From Reactive Systems to Cyber-Physical Systems

    Ezio Bartocci
    Springer International Publishing
    Taschenbuch
    Print on Demand

    This Festschrift is in honor of Scott A. Smolka...

    60,10 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  12. Formal Methods in Outer Space

    Formal Methods in Outer Space

    Ezio Bartocci
    Springer International Publishing
    Taschenbuch
    Print on Demand

    This Festschrift, dedicated to Klaus Havelund o...

    65,58 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  1. 1
Google Plus
Powered by Inooga