Search Results for - Narrowed by: Fiadeiro, Jos&eacute; Luiz. editor. - E-Book - Logics and Meanings of Programs. SirsiDynix Enterprise https://catalog.iyte.edu.tr/client/en_US/default/default/qf$003dAUTHOR$002509Author$002509Fiadeiro$00252C$002bJos$0025C3$0025A9$002bLuiz.$002beditor.$002509Fiadeiro$00252C$002bJos$0025C3$0025A9$002bLuiz.$002beditor.$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-BOOKS$002509E-Book$0026qf$003dSUBJECT$002509Subject$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026ps$003d300$0026isd$003dtrue? 2024-06-25T06:55:44Z Fundamental Approaches to Software Engineering 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings ent://SD_ILS/0/SD_ILS:503422 2024-06-25T06:55:44Z 2024-06-25T06:55:44Z by&#160;Fiadeiro, Jos&eacute; Luiz. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-78743-3">http://dx.doi.org/10.1007/978-3-540-78743-3</a><br/>Format:&#160;Electronic Resources<br/> Recent Trends in Algebraic Development Techniques 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers ent://SD_ILS/0/SD_ILS:512425 2024-06-25T06:55:44Z 2024-06-25T06:55:44Z by&#160;Fiadeiro, Jos&eacute; Luiz. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-540-71998-4">http://dx.doi.org/10.1007/978-3-540-71998-4</a><br/>Format:&#160;Electronic Resources<br/> Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers ent://SD_ILS/0/SD_ILS:510330 2024-06-25T06:55:44Z 2024-06-25T06:55:44Z by&#160;Fiadeiro, Jos&eacute; Luiz. editor.<br/><a href="http://dx.doi.org/10.1007/b107129">http://dx.doi.org/10.1007/b107129</a><br/>Format:&#160;Electronic Resources<br/> Algebra and Coalgebra in Computer Science First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005. Proceedings ent://SD_ILS/0/SD_ILS:510259 2024-06-25T06:55:44Z 2024-06-25T06:55:44Z by&#160;Fiadeiro, Jos&eacute; Luiz. editor.<br/><a href="http://dx.doi.org/10.1007/11548133">http://dx.doi.org/10.1007/11548133</a><br/>Format:&#160;Electronic Resources<br/>