Search Results for Clarke, Edmund M. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dClarke$00252C$002bEdmund$002bM.$0026ps$003d300? 2024-09-28T00:34:35Z Handbook of Model Checking ent://SD_ILS/0/SD_ILS:224205 2024-09-28T00:34:35Z 2024-09-28T00:34:35Z Yazar&#160;Clarke, Edmund M. editor.<br/><a href="https://doi.org/10.1007/978-3-319-10575-8">https://doi.org/10.1007/978-3-319-10575-8</a><br/>Format:&#160;Electronic Resources<br/> Proof, language, and interaction : essays in honour of Robin Milner ent://SD_ILS/0/SD_ILS:14596 2024-09-28T00:34:35Z 2024-09-28T00:34:35Z Yazar&#160;Plotkin, G. (Gordon), 1946-<br/>Abstract with links to resource <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267426">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267426</a><br/>Format:&#160;Electronic Resources<br/>