Yazar
gerard j holzmann
5 cilt bulundu.
Cilt sonuçları
The early history of data networks
Gerard J. Holzmann · IEEE Computer Society Press
291 sayfa · 1995
Telegraph / History / Telecommunicatie / Telegrafie / Histoire
Design and validation of computer protocols
Gerard J. Holzmann · Prentice-Hall International
500 sayfa · 1991
Computer network protocols / Computer networks / Design / Computer engineering / Protocoles de réseaux d'ordinateurs
Beyond photography
Gerard J. Holzmann · Prentice-Hall
120 sayfa · 1988
Image processing / Photography / Special effects / Digital techniques
Partial order methods in verification
Vaughan R. Pratt, Gerard J. Holzmann · American Mathematical Society
403 sayfa · 1997
Electronic data processing / Distributed processing / Congresses / Verification / Computer software