| Type |  Book |
| ชื่อเรื่อง | Design and Validation of Computer Protocols / Gerard J. Holzmann |
| ผู้แต่ง | Holzmann, Gerard j |
| ISBN | 0135398347 |
| พิมพลักษณ์ | Singapore : Prentice-Hall International, c1991 |
| ครั้งที่พิมพ์ | 1st ed |
| รูปเล่ม | xii, 500 p |
| หัวเรื่อง | Computer network protocols |
| | Computer networks |