*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis
    Jean-Francois Raskin
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

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

    55,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
    Jean-François Raskin
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    58,74 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Formal Modeling and Analysis of Timed Systems
    Formal Modeling and Analysis of Timed Systems
    P. S. Thiagarajan
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

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