Mein Konto
Erweiterte Suche
Categories

Grid   List

  1. Critical Systems: Formal Methods and Automated Verification
    Critical Systems: Formal Methods and Automated Verification
    Laure Petrucci
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Application and Theory of Petri Nets and Concurrency
    Application and Theory of Petri Nets and Concurrency
    Laure Petrucci
    Springer
    Taschenbuch
    BOD - 2 Tage

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

    80,24 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Formal Modeling and Analysis of Timed Systems
    Formal Modeling and Analysis of Timed Systems
    Jeremy Sproston
    Springer
    Taschenbuch
    BOD - 2 Tage

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

    58,84 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Transactions on Petri Nets and Other Models of Concurrency XVIII
    Transactions on Petri Nets and Other Models of Concurrency XVIII
    Laure Petrucci
    Springer Spektrum
    Taschenbuch
    BOD - 2 Tage

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

    80,24 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1