Model checking software : 8th International SPIN Workshop, Toronto, Canada, May 19-20, 2001 : procee - detaljert visning

Søk kun i bestemt felt Avgrens på brukernivå barn, voksen osv

Avgrens på format. (Bok, DVD, Lydbok, etc.) Avgrens på språk

Fra år

Til år


Utgitt	Berlin : Springer , c2001
Omfang	X, 311 s. : ill.
Opplysninger	"ACM SIGSOFT, Special Interest Group on Software Engineering" - Omslaget
Emner	Programvare - Verifisering Programverifikasjon
ISBN	3540421246

Biblioteksøk