Hoppa till sidans huvudinnehåll

Laure Petrucci – författare

Visar alla böcker från författaren Laure Petrucci.
7 produkter
Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci - Distibuted Systems, Inbunden

Distibuted Systems

Design and Algorithms

AvSerge Haddad,Fabrice Kordonm. fl.

Inbunden, Engelska, 2011

2 659 kr

Skickas inom 11-20 vardagar

Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci - Models and Analysis for Distributed Systems, Inbunden

Models and Analysis for Distributed Systems

AvSerge Haddad,Fabrice Kordonm. fl.

Inbunden, Engelska, 2011

2 549 kr

Skickas inom 5-8 vardagar

Luca Bernardinello, Laure Petrucci - Application and Theory of Petri Nets and Concurrency, Häftad
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

Laure Petrucci, Jeremy Sproston - Formal Modeling and Analysis of Timed Systems, Häftad
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

Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti - Critical Systems: Formal Methods and Automated Verification, Häftad
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

Lars M. Kristensen, Laure Petrucci - Application and Theory of Petri Nets, Häftad

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

Fabrice Kordon, Laure Petrucci, Jörg Desel, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski - Transactions on Petri Nets and Other Models of Concurrency XVIII, Häftad

Transactions on Petri Nets and Other Models of Concurrency XVIII

AvFabrice Kordon,Laure Petruccim. fl.

Häftad, Engelska, 2026

1 159 kr

Kommande