| Titel | Art | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|---|
| Floufi et la fête surprise | Paperback | 978-1-896420-88-2 (1-896420-88-5) | |||
| Systems and Software Verification: Model-Checking Techniques and Tools | Taschenbuch | 978-3-642-07478-3 (3-642-07478-2) | 2010 | B. Berard · M. Bidoit · A. Finkel · F. Laroussinie · L. Petrucci · P. Schnoebelen | |
| Systems and Software Verification: Model-Checking Techniques and Tools | Gebunden | 978-3-540-41523-7 (3-540-41523-8) | 2001 | B. Berard · M. Bidoit · A. Finkel · F. Laroussinie · L. Petrucci · P. Schnoebelen | |
A. P. · Adolphe-P. Petit · Agnès Petit · Aimé Petit · Alain Petit · André Petit · Anne Marguerite Petit Du Noyer · Anne Petit · Anne Petit-Robin · Annie Petit · Antoine G Petit · Antoine Petit · Armand Albert-Petit · Arnaud Petit · Arnold Petit · Arsène Petit · Aurelien Petit · Aurore Petit · G.-Albert Petit · Martin Aboaf Petit de Murat · Petit à petit · Pilar De Aristegui Petit · Thomas A. Petit · William A. Petit