laure petrucci

Grid   List

  1. Distibuted Systems
    Distibuted Systems
    Serge Haddad
    John Wiley & Sons
    Ebook
    Sofort lieferbar
    In today's digital environment, distributed systems areincreasingly present in a wide variety of environments, rangingfrom public software applications to critical systems.Distributed Systems intro...
    144,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Distibuted Systems
    Distibuted Systems
    Serge Haddad
    Wiley-Blackwell
    Ebook
    Sofort lieferbar
    In today's digital environment, distributed systems areincreasingly present in a wide variety of environments, rangingfrom public software applications to critical systems.Distributed Systems intro...
    144,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Models and Analysis for Distributed Systems
    Models and Analysis for Distributed Systems
    Serge Haddad
    John Wiley & Sons
    Ebook
    Sofort lieferbar
    Nowadays, distributed systems are increasingly present, for publicsoftware applications as well as critical systems. softwareapplications as well as critical systems. This title andDistributed Syst...
    144,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Models and Analysis for Distributed Systems
    Models and Analysis for Distributed Systems
    Serge Haddad
    John Wiley & Sons
    Ebook
    Sofort lieferbar
    Nowadays, distributed systems are increasingly present, for publicsoftware applications as well as critical systems. softwareapplications as well as critical systems. This title andDistributed Syst...
    144,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Application and Theory of Petri Nets
    Application and Theory of Petri Nets
    Lars M. Kristensen
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 32nd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2011, held in Newcastle, UK,...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Critical Systems: Formal Methods and Automated Verification
    Critical Systems: Formal Methods and Automated Verification
    Laure Petrucci
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verificati...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Application and Theory of Petri Nets and Concurrency
    Application and Theory of Petri Nets and Concurrency
    Luca Bernardinello
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the proceedings of the 43rd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2022, which was held virtually in June 2021.
    80,24 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. Critical Systems: Formal Methods and Automated Verification
    Critical Systems: Formal Methods and Automated Verification
    Laure Petrucci
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verific...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  9. Application and Theory of Petri Nets and Concurrency
    Application and Theory of Petri Nets and Concurrency
    Laure Petrucci
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    This book constitutes the proceedings of the 43rd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2022, which was held virtually in June 2021....
    80,24 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. Formal Modeling and Analysis of Timed Systems
    Formal Modeling and Analysis of Timed Systems
    Jeremy Sproston
    Springer Nature Switzerland, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023. The ...
    58,84 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>