Search Results for - Narrowed by: Logics and Meanings of Programs. - Heckel, Reiko. editor. SirsiDynix Enterprise https://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dSUBJECT$002509Subject$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026qf$003dAUTHOR$002509Author$002509Heckel$00252C$002bReiko.$002beditor.$002509Heckel$00252C$002bReiko.$002beditor.$0026ps$003d300? 2024-05-28T21:24:51Z Graph Transformations 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings ent://SD_ILS/0/SD_ILS:503685 2024-05-28T21:24:51Z 2024-05-28T21:24:51Z by&#160;Ehrig, Hartmut. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-87405-8">http://dx.doi.org/10.1007/978-3-540-87405-8</a><br/>Format:&#160;Electronic Resources<br/> Web Services and Formal Methods 4th International Workshop, WS-FM 2007, Brisbane, Australia, September 28-29, 2007. Proceedings ent://SD_ILS/0/SD_ILS:503496 2024-05-28T21:24:51Z 2024-05-28T21:24:51Z by&#160;Dumas, Marlon. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-79230-7">http://dx.doi.org/10.1007/978-3-540-79230-7</a><br/>Format:&#160;Electronic Resources<br/> Fundamental Approaches to Software Engineering 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings ent://SD_ILS/0/SD_ILS:510835 2024-05-28T21:24:51Z 2024-05-28T21:24:51Z by&#160;Baresi, Luciano. editor.<br/><a href="http://dx.doi.org/10.1007/11693017">http://dx.doi.org/10.1007/11693017</a><br/>Format:&#160;Electronic Resources<br/>