Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proc - 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 , c2004
Omfang	X, 307 s. : ill.
Emner	Programvare - Verifisering Programverifikasjon
ISBN	3540213147

Biblioteksøk