Systems and Software Verification
- Alaotsikko
- Model-Checking Techniques and Tools
- Kirjailija
- Berard B., M. Bidoit, Finkel A., Laroussinie F., Petit A., Petrucci L., Schnoebelen P.
- Kääntäjä
- McKenzie P.
- ISBN
- 9783540415237
- Kieli
- englanti
- Paino
- 518 grammaa
- Julkaisupäivä
- 20.6.2001
- Sivumäärä
- 190




















