Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th bir - 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	XV, 782 s. : ill.
Opplysninger	Bidrag fra et symposium holdt i Taormina, Italia 29. juni-4. juli, 2003
Emner	Computer software - Verification Programspesifikasjon Programvare - Verifisering Programverifikasjon
ISBN	3540210024

Biblioteksøk