Design and validation of computer protocols /

Bibliografiska uppgifter
Huvudupphovsman: Holzmann, Gerard J.
Institutionell upphovsman: American Telephone and Telegraph Company
Materialtyp: Bok
Språk:English
Publicerad: Englewood Cliffs, N.J. : Prentice Hall, c1991.
Serie:Prentice Hall software series
Ämnen:
Classic Catalogue: View this record in Classic Catalogue
Beskrivning
Beskrivning:At head of title: AT & T.
Fysisk beskrivning:xii, 500 p. : ill. ; 25 cm.
Bibliografi:Includes bibliographical references and indexes.
ISBN:0135399254