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