SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, - detaljert visning

SPIN model checking and software verification : 7th International SPIN Workshop, Stanford, CA, USA, August 30-September 1, 2000 : proceedings

International SPIN Workshop
Bok Engelsk 2000


Utgitt	Berlin : Springer , c2000
Omfang	X, 342 s. : ill.
Emner	Programvare - Verifisering Programverifikasjon Simple promela interpreter
ISBN	3540410309