Buy Used and New Laure Petrucci Books

Models and Analysis for Distributed Systems

by Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci

ISBN 13: 9781848213142

Format: Illustrated (356 pages)
Publisher: Wiley-ISTE
Published: 10 Jun 2011

Save for later

Critical Systems: Formal Methods and Automated Verification: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal ... 10471 (Lecture Notes in Computer Science)

by Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti

ISBN 13: 9783319671123

Format: Paperback (252 pages)
Publisher: Springer
Published: 25 Aug 2017

Save for later