Hoppa till sidans huvudinnehåll

Laure Petrucci - Böcker

Visar alla böcker från författaren Laure Petrucci.
6 produkter

Distibuted Systems

Design and Algorithms

Av Serge Haddad, Fabrice Kordon m. fl

Inbunden, Engelska, 2011

2 589 kr

Skickas inom 11-20 vardagar

Models and Analysis for Distributed Systems

Av Serge Haddad, Fabrice Kordon m. fl

Inbunden, Engelska, 2011

2 409 kr

Skickas inom 10-15 vardagar

Application and Theory of Petri Nets and Concurrency

43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings

Av Luca Bernardinello, Laure Petrucci

Häftad, Engelska, 2022

1 089 kr

Skickas inom 10-15 vardagar

Formal Modeling and Analysis of Timed Systems

21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings

Av Laure Petrucci, Jeremy Sproston

Häftad, Engelska, 2023

789 kr

Skickas inom 10-15 vardagar

Critical Systems: Formal Methods and Automated Verification

Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings

Av Laure Petrucci, Cristina Seceleanu m. fl

Häftad, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar

Application and Theory of Petri Nets

32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings

Av Lars M. Kristensen, Laure Petrucci

Häftad, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar