ジェラード・J．ホルツマンの本リスト

コンピュータプロトコルの設計法 正しいプロトコルの設計と検証へ導く総合解説書 （コンピュータ通信シリーズ）

水野忠則,ジェラード・J．ホルツマン