Computer aided verification : 9th international conference, CAV'97, Haifa, Israel, June 22-25, 1997 - 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 , c1997
Omfang	XI, 486 s. : ill.
Emner	Datamaskinprogrammer - Prøving Datastøttet verifikasjon Industrielle anvendelser Kryptografi Tilstandsdiagrammer
ISBN	3540631666

Biblioteksøk