*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Model Checking Software
    Model Checking Software
    Klaus Havelund
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    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
    Javier Esparza
    Springer, Springer Spektrum
    Taschenbuch
    BOD - 2 Tage

    Invited Talks.- Embedded Systems Design - Scientific Challenges and Work Directions.- Antichain A...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Runtime Verification
    Runtime Verification
    Ezio Bartocci
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    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
    Rupak Majumdar
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    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
    Rupak Majumdar
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    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
    Rupak Majumdar
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    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
    Chryssis Georgiou
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Principles of Systems Design
    Principles of Systems Design
    Jean-François Raskin
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    96,29 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1