mehr als bücher

Grid  List

  1. Application and Theory of Petri Nets
    Application and Theory of Petri Nets
    Lars M Kristensen
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book constitutes the refereed proceedings of the 32nd International Conference on Applicatio...

    53,49 €*
  2. Critical Systems: Formal Methods and Automated Verification
    Critical Systems: Formal Methods and Automated Verification
    Laure Petrucci
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal...

    53,49 €*
  3. Application and Theory of Petri Nets and Concurrency
    Application and Theory of Petri Nets and Concurrency
    Luca Bernardinello
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt
    80,24 €*
  4. Formal Modeling and Analysis of Timed Systems
    Formal Modeling and Analysis of Timed Systems
    Laure Petrucci
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book constitutes the refereed proceedings of the 21st International Conference on Formal Mod...

    53,49 €*
  1. 1