Laure Petrucci - Böcker

Visar alla böcker från författaren Laure Petrucci.
6 produkter
Luca Bernardinello, Laure Petrucci - Application and Theory of Petri Nets and Concurrency, Häftad

Häftad, Engelska, 2022

1 099 kr

Skickas inom 7-10 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

Av Laure Petrucci, Jeremy Sproston

Häftad, Engelska, 2023

809 kr

Skickas inom 5-8 vardagar
Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti - Critical Systems: Formal Methods and Automated Verification, Häftad

Häftad, Engelska, 2017

739 kr

Skickas inom 7-10 vardagar
Lars M. Kristensen, Laure Petrucci - Application and Theory of Petri Nets, Häftad

Häftad, Engelska, 2011

739 kr

Skickas inom 7-10 vardagar