Search Results for Logics and Meanings of Programs. - Narrowed by: Havelund, Klaus. editor. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dLogics$002band$002bMeanings$002bof$002bPrograms.$0026qf$003dAUTHOR$002509Yazar$002509Havelund$00252C$002bKlaus.$002beditor.$002509Havelund$00252C$002bKlaus.$002beditor.$0026ps$003d300$0026isd$003dtrue? 2024-07-06T20:31:29Z NASA Formal Methods 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings ent://SD_ILS/0/SD_ILS:22703 2024-07-06T20:31:29Z 2024-07-06T20:31:29Z Yazar&#160;Havelund, Klaus. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-17524-9">http://dx.doi.org/10.1007/978-3-319-17524-9</a><br/>Format:&#160;Electronic Resources<br/> Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings ent://SD_ILS/0/SD_ILS:24055 2024-07-06T20:31:29Z 2024-07-06T20:31:29Z Yazar&#160;&Aacute;brah&aacute;m, Erika. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-642-54862-8">http://dx.doi.org/10.1007/978-3-642-54862-8</a><br/>Format:&#160;Electronic Resources<br/>