Mein Konto
Erweiterte Suche
Categories

Grid   List

  1. Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis
    Franck Cassez
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    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
    Jean-François Raskin
    Springer Vieweg
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Formal Modeling and Analysis of Timed Systems
    Formal Modeling and Analysis of Timed Systems
    Jean-Francois Raskin
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    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
    Krishnendu Chatterjee
    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