On the formal analysis of telecommunication protocols /

Tallennettuna:
Bibliografiset tiedot
OCLC:59872150
Päätekijä: Orava, Fredrik
Yhteisötekijät: Uppsala universitet. Department of Computer Sysytems, Swedish Institute of Computer Science, Uppsala universitet
Kieli:English
Julkaistu: Uppsala : Department of Computer Systems, Uppsala University, 1994.
Sarja:Publication / Department of Computer Systems, Uppsala University ; 94/46.
Aineistotyyppi:

Opinnäyte Monograph

Note that CRL will digitize material from the collection when copyright allows.

Borrow this resource

Item List

Kuvaus Local Call Number Tila
P-00569958 Saatavissa

Samankaltaisia teoksia