Search Results for Hachtel, Gary D.SirsiDynix Enterprisehttp://portal.utm.my/client/en_AU/main/main/qu$003dHachtel$00252C$002bGary$002bD.$0026ic$003dtrue$0026ps$003d300?dt=list2024-06-12T23:39:06ZLogic synthesis and verification algorithmsent://SD_ILS/0/SD_ILS:944432024-06-12T23:39:06Z2024-06-12T23:39:06Zby Hachtel, Gary D.<br/>Author Hachtel, Gary D., Somenzi, Fabio<br/>Format: Books<br/>Call Number TK7874.75 H37 2006<br/>Edition 1st ed.<br/>Publisher Springer,<br/>Publication Date 2006<br/>ISBN 9780387310046<br/>Abstraction refinement for large scale model checkingent://SD_ILS/0/SD_ILS:1338142024-06-12T23:39:06Z2024-06-12T23:39:06Zby Wang, Chao<br/>Author Wang, Chao, Hachtel, Gary D., Somenzi, Fabio<br/>Format: Books<br/>Call Number QA76.76.V47 W36 2006<br/>Publisher Springer,<br/>Publication Date 2006<br/>ISBN 9780387341552<br/>Qualitative Research and Case Study Applications in Educationent://SD_ILS/0/SD_ILS:8671452024-06-12T23:39:06Z2024-06-12T23:39:06Zby Castellan, Catherine M., contributor<br/>Author Castellan, Catherine M., contributor, Lejla, Music, contributor, Litton, Freddie W., contributor, Rotatori, Anthony R., contributor, Coombs-Richardson, Rita, contributor<br/>Format: Books<br/>Call Number LB1028 Q835 2017 f<br/>ISBN 9781785695278<br/>