TY - BOOK AU - Wieringa,Roel TI - Design methods for reactive systems: yourdon, statemate, and the UML SN - 1-55860-755-2 AV - QA76.76D47 W548 PY - 2003/// CY - Amsterdam PB - M. Kaufmann KW - Software para computadora KW - Desarrollo KW - DiseƱo de sistemas ER -