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

    Jean-François Raskin
    Springer Berlin Heidelberg
    09.04.2016

    This bookconstitutes the proceedings of the 22nd International Conference on Tools andAlgorithms ...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Automated Technology for Verification and Analysis Automated Technology for Verification and Analysis

    Automated Technology for Verification and Analysis

    Jean-Francois Raskin
    Springer International Publishing, Springer International Publishing
    29.09.2014

    This book constitutes the proceedings of the 12th International Symposium on Automated Technology...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Formal Modeling and Analysis of Timed Systems Formal Modeling and Analysis of Timed Systems

    Formal Modeling and Analysis of Timed Systems

    P. S. Thiagarajan
    Springer Berlin Heidelberg
    20.09.2007

    This volume consists of the proceedings of the Fifth International Conference on Formal Modelling...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. 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