Erweiterte Suche

Grid  List

  1. Tools and Algorithms for the Construction and Analysis of Systems 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
    17.03.2010

    ETAPS 2010 was the 13th instance of the European Joint Conferences on T- oryandPracticeofSoftware...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Hybrid Systems: Computation and Control Hybrid Systems: Computation and Control

    Hybrid Systems: Computation and Control

    Paulo Tabuada
    Springer Berlin Heidelberg
    27.03.2009

    This book constitutes the refereed proceedings of the 12th International Conference on Hybrid Sys...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Runtime Verification Runtime Verification

    Runtime Verification

    Rupak Majumdar
    Springer International Publishing, Springer International Publishing
    11.09.2015

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Computer Aided Verification Computer Aided Verification

    Computer Aided Verification

    Viktor Kun¿ak
    Springer International Publishing, Springer International Publishing
    13.07.2017

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Networked Systems Networked Systems

    Networked Systems

    Rupak Majumdar
    Springer International Publishing, Springer International Publishing
    14.01.2021

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Computer Aided Verification Computer Aided Verification

    Computer Aided Verification

    Viktor Kun¿ak
    Springer International Publishing, Springer International Publishing
    13.07.2017

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Model Checking Software Model Checking Software

    Model Checking Software

    Klaus Havelund
    Springer Berlin Heidelberg
    25.07.2008

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Principles of Systems Design Principles of Systems Design

    Principles of Systems Design

    Jean-François Raskin
    Springer Nature Switzerland, Springer Nature Switzerland
    29.12.2022

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

    Taschenbuch
    96,29 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1