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
- Kieli
- englanti
- Paino
- 624 grammaa
- Julkaisupäivä
- 30.5.1997
- Kustantaja
- American Mathematical Society








































