01666nam a2200301 a 4500 4835531 100308s1991 njua b 001 0 eng d \\\90040822 0135399254 DLC DLC DLC BD-DhAAL 004.6/2 20 Holzmann, Gerard J. Design and validation of computer protocols / Gerard J. Holzmann. Englewood Cliffs, N.J. : Prentice Hall, c1991. xii, 500 p. : ill. ; 25 cm. Prentice Hall software series At head of title: AT & T. Includes bibliographical references and indexes. 00019915 Computer network protocols Design. American Telephone and Telegraph Company. Ayesha Abed Library General Shelf 7725 7725 0 0 ddc 0 004_620000000000000_HOL_1991 0 8485 BRACUL BRACUL GEN 2010-03-08 2 004.62 HOL 3010019915 2011-05-09 2011-05-09 1 2010-03-08 BK 0 0 ddc 0 004_620000000000000_HOL_1991 0 8486 BRACUL BRACUL GEN 2010-03-08 2 004.62 HOL 3010019914 2010-03-21 2010-03-21 2 2010-03-08 BK 0 0 ddc 0 004_620000000000000_HOL_1991 0 8487 BRACUL BRACUL GEN 2010-03-08 7 004.62 HOL 3010019913 2017-07-18 2017-07-18 3 2010-03-08 BK 0 0 ddc 0 004_620000000000000_HOL_1991 0 8488 BRACUL BRACUL GEN 2010-03-08 0 004.62 HOL 3010019912 2010-03-08 4 2010-03-08 BK 0 0 ddc 0 004_620000000000000_HOL_1991 0 8489 BRACUL BRACUL GEN 2010-03-08 1 15 004.62 HOL 3010019911 2014-12-24 2014-08-28 5 2010-03-08 BK