Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN Workshops, - detaljert visning

Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings

International SPIN Workshop
Bok Engelsk 1999


Utgitt	Berlin : Springer , c1999
Omfang	X, 276 s. : ill.
Emner	Formal logikk Programmering (Databehandling)
ISBN	3540664998