Wissen, was kommt.
Erweiterte Suche

Grid  List

  1. Critical Systems: Formal Methods and Automated Verification Critical Systems: Formal Methods and Automated Verification

    Critical Systems: Formal Methods and Automated Verification

    Laure Petrucci
    Springer, Springer
    25.08.2017

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

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Application and Theory of Petri Nets and Concurrency Application and Theory of Petri Nets and Concurrency

    Application and Theory of Petri Nets and Concurrency

    Luca Bernardinello
    Springer, Springer
    30.05.2022

    This book constitutes the proceedings of the 43rd International Conference on Application and The...

    Taschenbuch
    80,24 €
    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

    Laure Petrucci
    Springer, Springer
    29.08.2023

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

    Taschenbuch
    58,84 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Application and Theory of Petri Nets Application and Theory of Petri Nets

    Application and Theory of Petri Nets

    Lars M. Kristensen
    Springer, Berlin, Springer

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

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 74,99 €

    Jetzt 53,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Transactions on Petri Nets and Other Models of Concurrency XVIII Transactions on Petri Nets and Other Models of Concurrency XVIII

    Transactions on Petri Nets and Other Models of Concurrency XVIII

    Fabrice Kordon
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    07.08.2026

    The 18th volume of ToPNoC contains revised and extended contributions based on the lectures deliv...

    Taschenbuch
    80,24 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1