Verifying a distributed list system : a case history

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	Oslo : University of Oslo, Department of Informatics , 1993
Omfang	38 s.
Opplysninger	Elektronisk reproduksjon
Emner	verifisering etterprøving liste-system rewriting logic
Dewey	005.4
ISBN	8273680924

Biblioteksøk