Design and validation of computer protocols

Bibliographic Details
Main Author: Holzmann, Gerard J. (Author)
Format: Book
Language:English
Published: London New Jersey Prentice-Hall AT&T Bell Telephone Laboratories, Inc. c1991 c1991
Subjects:

Similar Items