|
|
|
|
| LEADER |
01666nam a2200301 a 4500 |
| 001 |
4835531 |
| 008 |
100308s1991 njua b 001 0 eng d |
| 010 |
|
|
|a \\\90040822
|
| 020 |
|
|
|a 0135399254
|
| 040 |
|
|
|a DLC
|c DLC
|d DLC
|d BD-DhAAL
|
| 082 |
0 |
0 |
|a 004.6/2
|2 20
|
| 100 |
1 |
|
|a Holzmann, Gerard J.
|
| 245 |
1 |
0 |
|a Design and validation of computer protocols /
|c Gerard J. Holzmann.
|
| 260 |
|
|
|a Englewood Cliffs, N.J. :
|b Prentice Hall,
|c c1991.
|
| 300 |
|
|
|a xii, 500 p. :
|b ill. ;
|c 25 cm.
|
| 490 |
0 |
|
|a Prentice Hall software series
|
| 500 |
|
|
|a At head of title: AT & T.
|
| 504 |
|
|
|a Includes bibliographical references and indexes.
|
| 541 |
1 |
|
|e 00019915
|
| 650 |
|
0 |
|a Computer network protocols
|x Design.
|
| 710 |
2 |
|
|a American Telephone and Telegraph Company.
|
| 852 |
4 |
|
|a Ayesha Abed Library
|j General Shelf
|
| 999 |
|
|
|c 7725
|d 7725
|
| 952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 004_620000000000000_HOL_1991
|7 0
|9 8485
|a BRACUL
|b BRACUL
|c GEN
|d 2010-03-08
|l 2
|o 004.62 HOL
|p 3010019915
|r 2011-05-09
|s 2011-05-09
|t 1
|w 2010-03-08
|y BK
|
| 952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 004_620000000000000_HOL_1991
|7 0
|9 8486
|a BRACUL
|b BRACUL
|c GEN
|d 2010-03-08
|l 2
|o 004.62 HOL
|p 3010019914
|r 2010-03-21
|s 2010-03-21
|t 2
|w 2010-03-08
|y BK
|
| 952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 004_620000000000000_HOL_1991
|7 0
|9 8487
|a BRACUL
|b BRACUL
|c GEN
|d 2010-03-08
|l 7
|o 004.62 HOL
|p 3010019913
|r 2017-07-18
|s 2017-07-18
|t 3
|w 2010-03-08
|y BK
|
| 952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 004_620000000000000_HOL_1991
|7 0
|9 8488
|a BRACUL
|b BRACUL
|c GEN
|d 2010-03-08
|l 0
|o 004.62 HOL
|p 3010019912
|r 2010-03-08
|t 4
|w 2010-03-08
|y BK
|
| 952 |
|
|
|0 0
|1 0
|2 ddc
|4 0
|6 004_620000000000000_HOL_1991
|7 0
|9 8489
|a BRACUL
|b BRACUL
|c GEN
|d 2010-03-08
|l 1
|m 15
|o 004.62 HOL
|p 3010019911
|r 2014-12-24
|s 2014-08-28
|t 5
|w 2010-03-08
|y BK
|