von: B. Berard · M. Bidoit · A. Finkel · F. Laroussinie · A. Petit · L. Petrucci · P. Schnoebelen
Springer Berlin Heidelberg · 2001
Gebunden
ISBN: 978-3-540-41523-7
ISBN-10: 3-540-41523-8
| S. auch: | ||
| 2010 | Taschenbuch | Systems and Software Verification: Model-Checking Techniques and Tools |
|
|
von: B. Berard · M. Bidoit · A. Finkel · F. Laroussinie · A. Petit · L. Petrucci · P. SchnoebelenSpringer Berlin Heidelberg · 2001 Gebunden ISBN: 978-3-540-41523-7 ISBN-10: 3-540-41523-8 |