14 results
Type of media (2)
Availability (2)
Classification (4)
Year
Persons
Publishers
Sort by
Results per page
Filter
14 results

Your search for Laure Petrucci

  1. Cover: Transactions on Petri Nets and Other Models of Concurrency XVIII - Springer
    Fabrice Kordon | Laure Petrucci | Jörg Desel
    Transactions on Petri Nets and Other Models of Concurrency XVIII
    approx. 06/2026
    Springer
    9783662733042 (ISBN)
    Book
    Paperback/Softback
    €80.24
    Not yet published
  2. Cover: Critical Systems: Formal Methods and Automated Verification - Springer
    Laure Petrucci | Cristina Seceleanu | Ana Cavalcanti
    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
    09/2017
    Springer
    9783319671130 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Application and Theory of Petri Nets and Concurrency - Springer
    Luca Bernardinello | Laure Petrucci
    Application and Theory of Petri Nets and Concurrency
    43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022, Proceedings
    06/2022
    Springer
    9783031066535 (ISBN)
    E-Book
    PDF
    Other editions
    €80.24
    Available for download
  4. Cover: Distibuted Systems - Wiley-ISTE
    Serge Haddad | Fabrice Kordon | Laurent Pautet
    Distibuted Systems
    Design and Algorithms
    01/2013
    Wiley-ISTE
    9781118601396 (ISBN)
    E-Book
    ePUB
    Other editions
    €144.99
    Available for download
  5. Cover: Distibuted Systems - Wiley-ISTE
    Serge Haddad | Fabrice Kordon | Laurent Pautet
    Distibuted Systems
    Design and Algorithms
    01/2013
    Wiley-ISTE
    9781118601464 (ISBN)
    E-Book
    PDF
    Other editions
    €144.99
    Available for download
  6. Cover: Models and Analysis for Distributed Systems - Wiley-ISTE
    Serge Haddad | Fabrice Kordon | Laurent Pautet
    Models and Analysis for Distributed Systems
    02/2013
    Wiley-ISTE
    9781118602690 (ISBN)
    E-Book
    ePUBPDF
    Other editions
    €144.99
    Available for download
  7. Cover: Models and Analysis for Distributed Systems - Wiley-ISTE
    Serge Haddad | Fabrice Kordon | Laurent Pautet
    Models and Analysis for Distributed Systems
    02/2013
    Wiley-ISTE
    9781118602683 (ISBN)
    E-Book
    ePUBPDF
    Other editions
    €144.99
    Available for download
  8. Cover: Application and Theory of Petri Nets - Springer
    Lars M. Kristensen | Laure Petrucci
    Application and Theory of Petri Nets
    32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings
    06/2011
    Springer
    9783642218347 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  9. Cover: Application and Theory of Petri Nets - Springer
    Lars M. Kristensen | Laure Petrucci
    Application and Theory of Petri Nets
    32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings
    06/2011
    1st EDN1st Edition
    Springer
    9783642218330 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  10. Cover: Critical Systems: Formal Methods and Automated Verification - Springer
    Laure Petrucci | Cristina Seceleanu | Ana Cavalcanti
    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
    08/2017
    Springer
    9783319671123 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  11. Cover: Formal Modeling and Analysis of Timed Systems - Springer
    Laure Petrucci | Jeremy Sproston
    Formal Modeling and Analysis of Timed Systems
    21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings
    08/2023
    Springer
    9783031426254 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €58.84
    Shipment within 15-20 days
  12. Cover: Distibuted Systems - Wiley-ISTE
    Serge Haddad | Fabrice Kordon | Laurent Pautet
    Distibuted Systems
    Design and Algorithms
    06/2011
    1st EDN1st Edition
    Wiley-ISTE
    9781848212503 (ISBN)
    Book
    Hardback
    Other editions
    €170.50
    Article not available at the moment
  13. Cover: Application and Theory of Petri Nets and Concurrency - Springer
    Luca Bernardinello | Laure Petrucci
    Application and Theory of Petri Nets and Concurrency
    43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022, Proceedings
    05/2022
    Springer
    9783031066528 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €80.24
    Shipment within 15-20 days
  14. Cover: Models and Analysis for Distributed Systems - Wiley-ISTE
    Serge Haddad | Fabrice Kordon | Laurent Pautet
    Models and Analysis for Distributed Systems
    06/2011
    1st EDN1st Edition
    Wiley-ISTE
    9781848213142 (ISBN)
    Book
    Hardback
    Other editions
    €170.50
    Shipment within 15-20 days