Design and validation of computer protocols /

Bibliografiske detaljer
Hovedforfatter: Holzmann, Gerard J.
Institution som forfatter: American Telephone and Telegraph Company
Format: Bog
Sprog:English
Udgivet: Englewood Cliffs, N.J. : Prentice Hall, c1991.
Serier:Prentice Hall software series
Fag:
Classic Catalogue: View this record in Classic Catalogue

Lignende værker