000 00460pam a2200169a 44500
008 160408bc1993 xxu||||| |||| 00| 0 eng d
020 _a3540197516
082 _a620.001171
_bF765
100 _aPeter No Ryan,Chris No Sennett
245 1 _aFORMAL METHODS IN SYSTEMS ENGINEERING
260 _a
_bSpringer-Verlag, London
_cc1993
300 _axi,191
650 _aSystems Engineering
700 _aSennett,Chris
964 _gCIRC
997 _aA118037 C
999 _c321752
_d321752