000 00376nam a2200145Ia 4500
008 230917s9999||||xx |||||||||||||| ||und||
040 _e17662
_aMAIN
041 _aEnglish
082 _aComputer
100 _aMilne, George
245 0 _aFormal specification and verification of digital systems
260 _aLondon
_bMcGraw-Hill
_c1994
300 _axiv,240 p.
942 _cBK
999 _c96093
_d96093