The SPIN model checker : primer and reference manual

Gerard J. Holzmann
Bok · Engelsk · 2003

Utgitt	Boston, Mass. : Addison-Wesley , 2003, c2004
Omfang	XII, 596 s. : ill.
Emner	Computer programs - Testing Systems engineering - Mathematical models Modellkontroll Programvare - Testing Vis mer... Programvare - Verifisering Simple promela interpreter Spin programvare testing spin
Dewey	005.14
ISBN	0321228626. - 0321773713