ID:DA05661859
同姓同名の著者を検索
Gerard J. Holzmann
Addison-Wesley c2004
: pbk
所蔵館1館
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
所蔵館9館
Gerard J. Holzmann, Björn Pehrson
IEEE Computer Society Press c1995
所蔵館16館
Gerard J.Holzmann著 ; 水野忠則[ほか]訳
カットシステム 1994.11 コンピュータ通信シリーズ 3
所蔵館34館
Prentice Hall c1991 Prentice-Hall software series
所蔵館19館
Prentice-Hall c1988
pbk.
