The SPIN Verification System
This work, covering the SPIN verification system, is intended for researchers in the areas of formal methods, formal verification of software, and automata theory.
- ISBN
- 9780821806807
- Språk
- engelska
- Vikt
- 624 gram
- Utgivningsdatum
- 1997-05-30

