Yazar
Gerard Holzmann
10 cilt bulundu.
Gerard J. Holzmann · IEEE Computer Society Press
291 sayfa · 1995
Telegraph / History / Telecommunicatie / Telegrafie / Histoire
Gerard J. Holzmann · Prentice-Hall International
500 sayfa · 1991
Computer network protocols / Computer networks / Design / Computer engineering / Protocoles de réseaux d'ordinateurs
Gerard J. Holzmann · Prentice-Hall
120 sayfa · 1988
Image processing / Photography / Special effects / Digital techniques
Gerard Holzmann · Pearson Education, Limited
608 sayfa · 2003
Computer software, testing / Systems engineering
Klaus Havelund, Gerard Holzmann, Rajeev Joshi · Springer International Publishing AG
465 sayfa · 2011
Computer science
Vaughan R. Pratt, Gerard J. Holzmann · American Mathematical Society
403 sayfa · 1997
Electronic data processing / Distributed processing / Congresses / Verification / Computer software