00575nam a2200181 a 4500001001400000003000700014005001700021008004100038020001500079040000800094100002000102245009300122260004000215300002800255650003500283650001800318856005700336vtls000030088KUKTEM20251117145138.0080709t2003    ne     f      001 0 eng|d  a1558607552  aUMP1 aWieringa, R. J.10aDesign methods for reactive systems :bYourdon, Statemate, and the UML /cR. J. Wieringa  aAmsterdam :bMorgan Kaufmann,c2003  a457 p. :bill. ;c24 cm 0aComputer softwarexDevelopment 0aSystem design42ahttp://www.loc.gov/catdir/toc/els031/2002112068.html