Search Results for Logics and Meanings of Programs. - Narrowed by: Blanchette, Jasmin Christian. editor. - Springer E-Book CollectionSirsiDynix Enterprisehttps://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dLogics$002band$002bMeanings$002bof$002bPrograms.$0026qf$003dAUTHOR$002509Yazar$002509Blanchette$00252C$002bJasmin$002bChristian.$002beditor.$002509Blanchette$00252C$002bJasmin$002bChristian.$002beditor.$0026qf$003dLOCATION$002509Lokasyon$0025091$00253ASPRINGER$002509Springer$002bE-Book$002bCollection$0026ps$003d300?2024-09-01T11:35:01ZInteractive Theorem Proving 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedingsent://SD_ILS/0/SD_ILS:182332024-09-01T11:35:01Z2024-09-01T11:35:01ZYazar Blanchette, Jasmin Christian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-43144-4">http://dx.doi.org/10.1007/978-3-319-43144-4</a><br/>Format: Electronic Resources<br/>Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedingsent://SD_ILS/0/SD_ILS:231172024-09-01T11:35:01Z2024-09-01T11:35:01ZYazar Blanchette, Jasmin Christian. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-21215-9">http://dx.doi.org/10.1007/978-3-319-21215-9</a><br/>Format: Electronic Resources<br/>