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 International Publishing, Springer International Publishing
    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

    Laure Petrucci
    Springer International Publishing, Springer International Publishing
    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

    Jeremy Sproston
    Springer Nature Switzerland, Springer Nature Switzerland
    29.08.2023

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

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 128,39 €

    Jetzt 53,49 €
    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 Berlin Heidelberg, 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. Models and Analysis for Distributed Systems Models and Analysis for Distributed Systems

    Models and Analysis for Distributed Systems

    Serge Haddad
    Wiley
    12.07.2011

    Nowadays, distributed systems are increasingly present, for public software applications as well ...

    Gebunden
    181,50 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Distibuted Systems Distibuted Systems

    Distibuted Systems

    Serge Haddad
    Wiley
    12.07.2011

    In today's digital environment, distributed systems are increasingly present in a wide variety of...

    Gebunden
    181,50 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1