Computer aided verification : 18th international conference, CAV 2006, Seattle, WA, USA, August 17-2 - 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 , c2006
Omfang	XV, 564 s. : ill.
Emner	Datamaskiner Programvare - Verifisering
ISBN	354037406X. - 9783540374060

Biblioteksøk