TY - BOOK AU - Wieringa,Roel TI - Design methods for reactive systems: Yourdan, Statemate, and the UML SN - 1558607552 (alk. paper) U1 - 005.1 PY - 2003/// CY - Boston PB - Morgan Kaufmann Publishers KW - Computer software KW - System design N1 - Includes bibliographical references and index UR - http://www.loc.gov/catdir/description/els031/2002112068.html UR - http://www.loc.gov/catdir/toc/els031/2002112068.html ER -