000 00483pam a2200169a 44500
008 160408b2003 xxu||||| |||| 00| 0 eng d
020 _a1558607552
082 _a005.1
_bW636D
100 _aWieringa,R J
245 1 _aDESIGN METHODS FOR REACTIVE SYSTEMS
_cYOURDON, STATEMATE, AND THE UML
260 _a
_bMorgan Kaufmann, San Diego
_c2003
300 _axxv,45
650 _aComputer Software -- Development
650 _aSystem Design
964 _gCIRC
997 _aA147117 C
999 _c357045
_d357045