Titel | Art | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
---|---|---|---|---|
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 · A. Petit · 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 · A. Petit · P. Schnoebelen |
L.P. · Laure Petrucci · Lisa Petrucci · Long, Hill, Petrucci, McCreary, Perry Long · Luigina Petrucci