mehr als bücher

Grid  List

  1. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Marsha Chechik
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    53,49 €*
  2. Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis
    Franck Cassez
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    53,49 €*
  3. Principles of Systems Design
    Principles of Systems Design
    Jean-François Raskin
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    96,29 €*
  1. 1