TY - BOOK AU - Samek,Miro TI - Practical UML statecharts in C/C++: event-driven programming for embedded systems SN - 9780750687065 (pbk.) U1 - 005.117 22 PY - 2009/// CY - Boca Raton PB - CRC Press / Taylor and Francis Group KW - System design KW - BUEsh KW - Computer software KW - Development KW - Formal methods (Computer science) KW - Statecharts (Computer science) KW - UML (Computer science) KW - COMSCI KW - July2015 KW - December2015 KW - January2016 N1 - Index : p. 699-712 ; Previous ed.: Lawrence, Kan. : CMP Books, c2002; Bibliography : p. 693-697 ER -