PETRUCCI, Laure books & textbook
Application and Theory of Petri Nets and Concurrency: 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings (Lecture Notes in Computer Science)
Bernardinello, Luca Petrucci, Laure
Springer /2022-05-30 Paperback / 412 Pages
isbn-10: 3031066529 / isbn-13: 9783031066528
Formal Modeling and Analysis of Timed Systems: 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19–21, 2023, Proceedings (Lecture Notes in Computer Science)
Petrucci, Laure Sproston, Jeremy
Springer /2023-08-29 Paperback / 196 Pages
isbn-10: 3031426258 / isbn-13: 9783031426254
Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and ... (Programming and Software Engineering)
Petrucci, Laure Seceleanu, Cristina Cavalcanti, Ana
Springer /2017-08-25 Paperback / 249 Pages
isbn-10: 331967112X / isbn-13: 9783319671123
Systèmes répartis en action - de l'embarqué aux systèmes à large échelle
HERMES SCIENCE /2008-11-15 Paperback
isbn-10: 2746219433 / isbn-13: 9782746219434
Méthodes formelles pour les systèmes répartis et coopératifs
PETRUCCI, Laure KORDON, Fabrice HADDAD, Serge
HERMES /2006-09-21 Paperback / 346 Pages
isbn-10: 2746214474 / isbn-13: 9782746214477
Models and Analysis for Distributed Systems
Haddad, Serge Kordon, Fabrice Pautet, Laurent Petrucci, Laure
Wiley-ISTE /2011-07-12 Hardcover / 356 Pages
isbn-10: 184821314X / isbn-13: 9781848213142
Distibuted Systems: Design and Algorithms
Haddad, Serge Kordon, Fabrice Pautet, Laurent Petrucci, Laure
Wiley-ISTE /2011-07-12 Hardcover / 336 Pages
isbn-10: 184821250X / isbn-13: 9781848212503
Application and Theory of Petri Nets: 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings (Lecture Notes in Computer Science, 6709)
Kristensen, Lars M. Petrucci, Laure
Springer /2011-06-16 Paperback / 361 Pages
isbn-10: 3642218334 / isbn-13: 9783642218330
