000 00470nam a2200193Ia 4500
008 221105s9999 xx 000 0 und d
020 _a0133669491
041 _aENGLISH
082 _a620.0042 0151 3 N 6
082 _bMIC
100 _aMICHEAL G HINCHEY; JONATHAN P BOWEN EDS.
245 0 _aAPPLICATIONS OF FORMAL METHODS
260 _bPRENTICE-HALL
260 _c1990
300 _a447
650 _aMECHANICAL
650 _bENGINEERING DESIGN
942 _cBK
999 _c3116
_d3116