Laure Petrucci - Böcker

Visar alla böcker från författaren Laure Petrucci.
6 produkter
Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci, France) Haddad, Serge (ENS de Cachan, France) Kordon, Fabrice (UPMC, Paris, France) Pautet, Laurent (Telecom ParisTech, France) Petrucci, Laure (University Paris 13 - Distibuted Systems, Inbunden

Distibuted Systems

Av Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci, France) Haddad, Serge (ENS de Cachan, France) Kordon, Fabrice (UPMC, Paris, France) Pautet, Laurent (Telecom ParisTech, France) Petrucci, Laure (University Paris 13

Inbunden, Engelska, 2011

2 559 kr

Skickas inom 11-20 vardagar
Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci, France) Haddad, Serge (ENS de Cachan, France) Kordon, Fabrice (UPMC, Paris, France) Pautet, Laurent (Telecom ParisTech, France) Petrucci, Laure (University Paris 13 - Models and Analysis for Distributed Systems, Inbunden

Models and Analysis for Distributed Systems

Av Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci, France) Haddad, Serge (ENS de Cachan, France) Kordon, Fabrice (UPMC, Paris, France) Pautet, Laurent (Telecom ParisTech, France) Petrucci, Laure (University Paris 13

Inbunden, Engelska, 2011

2 469 kr

Skickas inom 7-10 vardagar
Luca Bernardinello, Laure Petrucci - Application and Theory of Petri Nets and Concurrency, Häftad

Application and Theory of Petri Nets and Concurrency

Av Luca Bernardinello, Laure Petrucci

Häftad, Engelska, 2022

1 089 kr

Skickas måndag 24/11
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

799 kr

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

Critical Systems: Formal Methods and Automated Verification

Av Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti

Häftad, Engelska, 2017

739 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

Av Lars M. Kristensen, Laure Petrucci

Häftad, Engelska, 2011

739 kr

Skickas inom 10-15 vardagar