Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : 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 , c2003
Omfang	VIII, 239 s. : ill.
Emner	Computer software - Verification Programvare - Verifisering Programverifikasjon
ISBN	3540401172

Biblioteksøk