Search Results for - Narrowed by: Springer E-Book Collection - Logics and Meanings of Programs. - Rival, Xavier. editor. - Computer science. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dLOCATION$002509Lokasyon$0025091$00253ASPRINGER$002509Springer$002bE-Book$002bCollection$0026qf$003dSUBJECT$002509Konu$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026qf$003dAUTHOR$002509Yazar$002509Rival$00252C$002bXavier.$002beditor.$002509Rival$00252C$002bXavier.$002beditor.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bscience.$002509Computer$002bscience.$0026ps$003d300? 2024-05-24T08:07:03Z Static Analysis 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings ent://SD_ILS/0/SD_ILS:18689 2024-05-24T08:07:03Z 2024-05-24T08:07:03Z Yazar&#160;Rival, Xavier. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-662-53413-7">http://dx.doi.org/10.1007/978-3-662-53413-7</a><br/>Format:&#160;Electronic Resources<br/> Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings ent://SD_ILS/0/SD_ILS:23946 2024-05-24T08:07:03Z 2024-05-24T08:07:03Z Yazar&#160;McMillan, Kenneth L. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54013-4">http://dx.doi.org/10.1007/978-3-642-54013-4</a><br/>Format:&#160;Electronic Resources<br/>