ID:DA05661859
Search authors sharing the same name
Gerard J. Holzmann
Addison-Wesley c2004
: pbk
Available at 1 libraries
Jean-Charles Grégoire, Gerard J. Holzmann, Doron A. Peled, editors
American Mathematical Society c1997 DIMACS series in discrete mathematics and theoretical computer science v. 32
Available at 9 libraries
Gerard J. Holzmann, Björn Pehrson
IEEE Computer Society Press c1995
Available at 16 libraries
Gerard J.Holzmann著 ; 水野忠則[ほか]訳
カットシステム 1994.11 コンピュータ通信シリーズ 3
Available at 34 libraries
Prentice Hall c1991 Prentice-Hall software series
Available at 19 libraries
Prentice-Hall c1988
pbk.
