Systems and Software Verification
- Undertitel
- Model-Checking Techniques and Tools
- Författare
- Berard B., M. Bidoit, Finkel A., Laroussinie F., Petit A., Petrucci L., Schnoebelen P.
- Översättare
- McKenzie P.
- ISBN
- 9783540415237
- Språk
- engelska
- Vikt
- 518 gram
- Utgivningsdatum
- 2001-06-20
- Sidor
- 190






















