*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Model Checking Software
    Model Checking Software
    Klaus Havelund
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 15th International SPIN workshop on Model C...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. 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 it to grow and evolve as time goes by.

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Runtime Verification
    Runtime Verification
    Rupak Majumdar
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 6th International Conference on Runtime Ver...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. 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 of the 12th International Conference on Hybrid Sys...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Computer Aided Verification
    Computer Aided Verification
    Viktor Kun¿ak
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereedproceedings of the 29th In...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Computer Aided Verification
    Computer Aided Verification
    Viktor Kun¿ak
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereedproceedings of the 29th In...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Networked Systems
    Networked Systems
    Rupak Majumdar
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the revised selected papers of the 8th International Conference on Networke...

    55,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Principles of Systems Design
    Principles of Systems Design
    Jean-François Raskin
    Springer Nature Switzerland, Springer Nature Switzerland
    Taschenbuch
    Print on Demand

    This Festschrift is dedicated to Thomas A. Henzinger on the occasion of his 60th birthday in 2022...

    101,59 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1