000 00317nam a2200121Ia 4500
008 241230s9999||||xx |||||||||||||| ||und||
020 _a3540197516
100 _aRyan,Peter
_9101194
245 0 _aFormal Methods In Systems Engineering (Edition.)
260 _bSpringer
_aLondon
_c1993
300 _a191p.
942 _cBK
999 _c263549
_d263549