Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Handbook of Model Checking Handbook of Model Checking

    Handbook of Model Checking

    Roderick Bloem
    Springer-Verlag GmbH
    08.06.2018

    Model checking is a computer-assisted method for the analysis of dynamical systems that can be mo...

    Gebunden
    149,79 €
    Sofort lieferbar
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Computer Aided Verification Computer Aided Verification

    Computer Aided Verification

    Thomas Henzinger
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    17.07.1996

    This book constitutes the refereed proceedings of the 8th International Conference on Computer Ai...

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

    Hybrid Systems: Computation and Control

    Shankar Sastry
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    25.03.1998

    This book constitutes the refereed proceedings of the First International Workshop on Hybrid Syst...

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

    Computer Science Logic

    Thomas A. Henzinger
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    30.08.2007

    This book constitutes the refereed proceedings of the 21st International Workshop on Computer Sci...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Mathematical and Engineering Methods in Computer Science Mathematical and Engineering Methods in Computer Science

    Mathematical and Engineering Methods in Computer Science

    Antonin Kucera
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    09.01.2013

    This volume contains the post-proceedings of the 8th Doctoral Workshop on Mathematical and Engine...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Embedded Software Embedded Software

    Embedded Software

    Christoph M. Kirsch
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    26.09.2001

    This volume contains the proceedings of EMSOFT 2001, the First International Workshop on Embedded...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Hybrid Systems III Hybrid Systems III

    Hybrid Systems III

    Rajeev Alur
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    24.04.1996

    This reference book documents the scientific outcome of the DIMACS SYCON Workshop on Verification...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Computational Methods in Systems Biology Computational Methods in Systems Biology

    Computational Methods in Systems Biology

    Thomas A. Henzinger
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    19.08.2013

    This book constitutes the proceedings of the 11th International Conference on Computational Metho...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Handbook of Model Checking, 2 Teile Handbook of Model Checking, 2 Teile

    Handbook of Model Checking, 2 Teile

    Edmund M. Clarke
    Springer, Berlin, Springer International Publishing, Springer

    Model checking is a computer-assisted method for the analysis of dynamical systems that can be mo...

    Taschenbuch
    149,79 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems

    Formal Modeling and Analysis of Timed Systems

    Krishnendu Chatterjee
    Springer, Berlin, Springer Berlin Heidelberg, Springer

    This volume contains the papers that were presented at the 8th International Conference on Formal...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 64,19 €

    Jetzt 53,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1