Laure Petrucci – författare

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

7 produkter

1. 

   Distibuted Systems

   Design and Algorithms

   Av Serge Haddad, Fabrice Kordon m. fl.

   Inbunden, 2011

   2739 kr

   Lägg i varukorg

2. 

   Models and Analysis for Distributed Systems

   Av Serge Haddad, Fabrice Kordon m. fl.

   Inbunden, 2011

   2649 kr

   Lägg i varukorg

3. 

   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, 2022

   1109 kr

   Lägg i varukorg

4. 

   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, 2023

   819 kr

   Lägg i varukorg

5. 

   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, 2017

   739 kr

   Lägg i varukorg

6. 

   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, 2011

   739 kr

   Lägg i varukorg

7. 

   Transactions on Petri Nets and Other Models of Concurrency XVIII

   Av Fabrice Kordon, Laure Petrucci m. fl.

   Häftad, 2026

   1109 kr

   Lägg i varukorg