00964pam a2200289 a 4500 4835531 20140304120527.0 900612t1991 xxuadk frb 001 0 eng d 90040822 0135399254 9780135399255 DLC DLC DLC 004.62 22 HOL Holzmann, Gerard J. 35373 Design and validation of computer protocols / Gerard J. Holzmann. Upper Saddle River, United States : Prentice Hall, c.1991. xii, 500 p. : chart, forms, tables ; 25 cm. Prentice Hall software series At head of title : AT & T. Includes indexes. Includes bibliographical references. Computer network protocols Design 35374 COMSCI March2014 text book 33728 American Telephone and Telegraph Company 35371 ddc 004.62 HOL 18088 18060 0 0 ddc 0 0 Baccah MAIN MAIN LOW 2014-03-04 purchase 780.00 0 004.62 HOL 000035658 2025-07-15 00:00:00 975.00 NB 0 0 ddc 0 0 Baccah MAIN MAIN LOW 2014-03-04 purchase 780.00 2 1 004.62 HOL 000035659 2025-07-15 00:00:00 2025-02-11 975.00 BB 0 0 ddc 0 0 Baccah MAIN MAIN LOW 2014-03-04 purchase 780.00 0 004.62 HOL 000035660 2025-07-15 00:00:00 975.00 BB