| Shelfclass_id | 3.K |
| Sortkey | HOLZMANN, GERARD J |
| Authors | Gerard J. Holzmann |
| Title | Design and Validation of Computer Protocols |
| Publisher | Prentice Hall |
| Year | c1991 |
| Languages | eng |
| Isbn | 0135399254 |
| Series | Prentice Hall software series |
| Description | xii, 500 p. ill. 25 cm |
| Record date | 20060705 |
| Location | Englewood Cliffs, N.J. |
| Keywords | Computer network protocols |
| Notes | At head of title: AT & T |