L. Petrucci

TitelArtISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
Systems and Software Verification: Model-Checking Techniques and ToolsTaschenbuch978-3-642-07478-3
(3-642-07478-2)
2010B. Berard · M. Bidoit · A. Finkel · F. Laroussinie · A. Petit · P. Schnoebelen
Systems and Software Verification: Model-Checking Techniques and ToolsGebunden978-3-540-41523-7
(3-540-41523-8)
2001B. 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

L. Petrullo