000 00418nam a2200169Ia 4500
001 21179
003 IN-NITTTR
005 20251114233241.0
008 251113s9999||||xx |||||||||||||| ||eng||
040 _beng
040 _cIN-NITTTR
041 _aeng
082 _a004.62 H65D R
100 _aHolzmann, Gerard J.
245 0 _aDesign and validation of computer protocols. /
_cHolzmann, Gerard J.
942 _2ddc
_cBK
999 _c23809
_d23809