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の全6作品から、ブクログユーザおすすめの作品がチェックできます。
※同姓同名が含まれる場合があります。
全6アイテム中 1 - 6件を表示
