Laure petrucci u a (5 resultados)

Taschenbuch. Condición: Neu. 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 | Laure Petrucci (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2017 | Springer | EAN 9783319671123 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condición: Neu. Formal Modeling and Analysis of Timed Systems | 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings | Laure Petrucci (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2023 | Springer | EAN 9783031426254 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Condición: Neu. Transactions on Petri Nets and Other Models of Concurrency XVIII | Fabrice Kordon (u. a.) | Taschenbuch | xvi | Englisch | 2026 | Springer | EAN 9783662733042 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Taschenbuch. Condición: Neu. Application and Theory of Petri Nets and Concurrency | 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022, Proceedings | Luca Bernardinello (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xiv | Englisch | 2022 | Springer | EAN 9783031066528 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Condición: gut. 2011. Distibuted Systems: Design and Algorithms In englischer Sprache. pages.