LEADER 00000nam 2200217 a 4500
001 0967060
007 t
008 000508 2 1991 000 eng
020 0135398347
040 CURLBL
050 4 TK 5105.5 H7
100 0 Holzmann, Gerard J.
245 00 Design and validation of computer protocols /|cGerard J.
Holzmann.
260 London :|bPrentice-Hall International,|c1991.
300 500p.
440 0 Prentice Hall software series
946 6XX absent
|