Enlarge

Design and validation of computer protocols

Gerard J. Holzmann

Publication Data

Title Design and validation of computer protocols
Author Gerard J. Holzmann
Publisher Prentice-Hall International
Publication date 1991
Publication location London
Language English

Descriptive Notes

Bibliography: p351-368. _ Includes index.

Topics

Computer networks

Catalogue Data

OBNB ID GB9127844
ISBN 10 0135398347
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 004.62

ISBD

P1053 xii,500p.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Design and validation of computer protocols by Gerard J. Holzmann. ISBN 0135398347. Published by Prentice-Hall International in 1991. Publication and catalogue information, links to buy online and reader comments.

obnb.uk is a Good Stuff website.