000 | 00456nam a2200193Ia 4500 | ||
---|---|---|---|
008 | 221105s9999 xx 000 0 und d | ||
020 | _a0135399254 | ||
041 | _aENGLISH | ||
082 | _a004.62 N | ||
082 | _bGER | ||
100 | _aGERALD J HOLZMANN | ||
245 | 0 | _aDESIGN AND VALIDATION OF COMPUTER PROTOCOLS | |
260 | _bPRENTICE-HALL | ||
260 | _c1990 | ||
300 | _a500 | ||
650 | _aCOMPUTER SCIENCE | ||
650 | _bNETWORKS | ||
942 | _cBK | ||
999 |
_c2572 _d2572 |