Fabrice Kordon is a full-time professor at Université P. & M. Curie (UPMC).
Serge Haddad is a full-time professor at école Normale Supérieure de Cachan, a member of the CNRS laboratory LSV, and a member of the INRIA team MEx ICo.
Laurent Pautet is a full-time professor at Télécom Paris Tech and a member of the CNRS laboratory LTCI.
Laure Petrucci is a full-time professor at University Paris 13 in France and a member of the CNRS laboratory LIPN.
8 Ebooks bởi Laure Petrucci
Serge Haddad & Fabrice Kordon: Distibuted Systems
In today’s digital environment, distributed systems are
increasingly present in a wide variety of environments, ranging
from public software applications to critical systems.
Distributed Systems …
EPUB
Anh
DRM
€144.99
Serge Haddad & Fabrice Kordon: Distibuted Systems
In today’s digital environment, distributed systems are
increasingly present in a wide variety of environments, ranging
from public software applications to critical systems.
Distributed Systems …
PDF
Anh
DRM
€144.99
Serge Haddad & Fabrice Kordon: Models and Analysis for Distributed Systems
Nowadays, distributed systems are increasingly present, for public
software applications as well as critical systems. software
applications as well as critical systems. This title and
Distributed …
EPUB
Anh
DRM
€144.99
Serge Haddad & Fabrice Kordon: Models and Analysis for Distributed Systems
Nowadays, distributed systems are increasingly present, for public
software applications as well as critical systems. software
applications as well as critical systems. This title and
Distributed …
PDF
Anh
DRM
€144.99
Ana Cavalcanti & Laure Petrucci: Critical Systems: Formal Methods and Automated Verification
This book constitutes the refereed proceedings of the Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and the 17th International Workshop on Automated Verification …
EPUB
Anh
DRM
€56.38
Lars M. Kristensen & Laure Petrucci: Application and Theory of Petri Nets
This book constitutes the refereed proceedings of the 32nd International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2011, held in Newcastle, UK, …
PDF
Anh
DRM
€56.87
Luca Bernardinello & Laure Petrucci: Application and Theory of Petri Nets and Concurrency
This book constitutes the proceedings of the 43rd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2022, which was held virtually in June 2021.The 19 full …
EPUB
Anh
DRM
€81.97
Laure Petrucci & Jeremy Sproston: Formal Modeling and Analysis of Timed Systems
This book constitutes the refereed proceedings of the 21st International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2023, held in Antwerp, Belgium, in September 2023. The 9 …
EPUB
Anh
DRM
€56.99
