NEW 2026年本屋大賞ノミネート作品発表！

Gerard J. Holzmannのおすすめランキング

この著者の新刊を通知する

Gerard J. Holzmannのおすすめランキングのアイテム一覧

Gerard J. Holzmannのおすすめ作品のランキングです。ブクログユーザが本棚登録している件数が多い順で並んでいます。
『SPIN Model Checker, The: Primer and Reference Manual』や『Design And Validation Of Computer Protocols』や『Design and Validation of Computer Protocols』などGerard J. Holzmannの全7作品から、ブクログユーザおすすめの作品がチェックできます。
※同姓同名が含まれる場合があります。

SPIN Model Checker, The: Primer and Reference Manual

SPIN Model Checker, The: Primer and Reference Manual

5人
5.00
1件
Gerard J.Holzmann 洋書 2003年9月4日 Amazon.co.jpで見る Amazon.co.jp
レビューを読む Amazon.co.jpで購入
Design And Validation Of Computer Protocols

Design And Validation Of Computer Protocols

1人
5.00
1件
Gerard J.Holzmann 洋書 1990年10月1日 Amazon.co.jpで見る Amazon.co.jp
レビューを読む Amazon.co.jpで購入
Design and Validation of Computer Protocols

Design and Validation of Computer Protocols

1人
5.00
1件
Gerard J.Holzmann 洋書 1990年11月1日 Amazon.co.jpで見る Amazon.co.jp
レビューを読む Amazon.co.jpで購入
Early History Data Networks

Early History Data Networks

1人
1件
GerardJ. Holzmann 洋書 1994年11月30日 Amazon.co.jpで見る Amazon.co.jp

感想・レビュー

光学テレグラフの歴史など もっと読む
レビューを読む Amazon.co.jpで購入
Beyond Photography: The Digital Darkroom

Beyond Photography: The Digital Darkroom

Gerard J.Holzmann 洋書 1988年6月1日 Amazon.co.jpで見る Amazon.co.jp
レビューを読む Amazon.co.jpで購入
The Spin Verification System: Dimacs Workshop, August 5, 1996 (DIMACS SERIES IN DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE)の詳細を見る

The Spin Verification System: Dimacs Workshop, August 5, 1996 (DIMACS SERIES IN DISCRETE MATHEMATICS AND THEORETICAL COMPUTER SCIENCE)

N.J.)WorkshopontheSpinVerificationSystem(1996NewBrunswick 洋書 1997年6月1日 Amazon.co.jpで見る Amazon.co.jp
レビューを読む Amazon.co.jpで購入
The Early History of Data Networks

The Early History of Data Networks

Gerard J.Holzmann 洋書 Amazon.co.jpで見る Amazon.co.jp
レビューを読む Amazon.co.jpで購入
全7アイテム中 1 - 7件を表示

Gerard J. Holzmannに関連する談話室の質問

  • 話題の本に出会えて、蔵書管理を手軽にできる！ブクログのアプリ AppStoreからダウンロード GooglePlayで手に入れよう
ツイートする
×