Search Results for Formal methods (Computer science) - Narrowed by: 2009 SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dFormal$002bmethods$002b$002528Computer$002bscience$002529$0026qf$003dPUBDATE$002509Publication$002bDate$0025092009$0025092009$0026te$003dILS$0026ps$003d300?dt=list 2024-12-23T08:43:01Z Practical UML statecharts in C/C++ event-driven programming for embedded systems ent://SD_ILS/0/SD_ILS:147373 2024-12-23T08:43:01Z 2024-12-23T08:43:01Z Author&#160;Samek, Miro.<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780750687065">http://www.sciencedirect.com/science/book/9780750687065</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Process algebra for parallel and distributed processing ent://SD_ILS/0/SD_ILS:288739 2024-12-23T08:43:01Z 2024-12-23T08:43:01Z Author&#160;Alexander, Michael, 1970 Sept. 25-&#160;Gardner, William, 1952-<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="http://marc.crcnetbase.com/isbn/9781420064872">Distributed by publisher. Purchase or institutional license may be required for access.</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>