Search Results for Design, Industrial - Narrowed by: 1995SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dDesign$00252C$002bIndustrial$0026qf$003dPUBDATE$002509Publication$002bDate$0025091995$0025091995$0026ic$003dtrue$0026ps$003d300?2024-09-12T08:21:23ZIndustrial applications of formal methods to model, design, and analyze computer systems : an international surveyent://SD_ILS/0/SD_ILS:2552502024-09-12T08:21:23Z2024-09-12T08:21:23ZAuthor Craigen, Dan, 1953- Gerhart, Susan L. Ralston, Theodore L.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780815513629">http://www.sciencedirect.com/science/book/9780815513629</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Ottagono.ent://SD_ILS/0/SD_ILS:2293692024-09-12T08:21:23Z2024-09-12T08:21:23ZFormat: Continuing Resources Other<br/>Availability ~0<br/>