Laure Petrucci – författare

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

7 produkter

Kategorier

7 produkter

Distibuted Systems
Design and Algorithms
AvSerge Haddad,Fabrice Kordonm. fl.
Inbunden, Engelska, 2011
2 649 kr
Skickas inom 11-20 vardagar
Models and Analysis for Distributed Systems
AvSerge Haddad,Fabrice Kordonm. fl.
Inbunden, Engelska, 2011
2 509 kr
Skickas inom 5-8 vardagar
Del 13288
Del 13288 - Lecture Notes in Computer Science
Application and Theory of Petri Nets and Concurrency
43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings
AvLuca Bernardinello,Laure Petrucci
Häftad, Engelska, 2022
1 089 kr
Skickas inom 10-15 vardagar
Del 14138
Del 14138 - Lecture Notes in Computer Science
Formal Modeling and Analysis of Timed Systems
21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings
AvLaure Petrucci,Jeremy Sproston
Häftad, Engelska, 2023
799 kr
Skickas inom 10-15 vardagar
Del 10471
Del 10471 - Lecture Notes in Computer Science
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
AvLaure Petrucci,Cristina Seceleanum. 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
AvLars M. Kristensen,Laure Petrucci
Häftad, Engelska, 2011
729 kr
Skickas inom 10-15 vardagar
Nyhet
Transactions on Petri Nets and Other Models of Concurrency XVIII
AvFabrice Kordon,Laure Petruccim. fl.
Häftad, Engelska, 2026
1 089 kr
Skickas inom 10-15 vardagar