1. Practical UML statecharts in C/C++ : event-driven programming for embedded systems /: event-driven programming for embedded systems. (2008) Other Names: Samek, Miro Record Type: Book Extent: 1 online resource (728 pages) View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Process algebra for parallel and distributed processing. (©2009) Other Names: Alexander, Michael, 1970 September 25; Gardner, William, 1952- Record Type: Book Extent: 1 online resource (xxii, 415 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗