Search Results for Logic. - Narrowed by: Orejas, Fernando. editor.SirsiDynix Enterprisehttp://librarycatalog.yyu.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dAUTHOR$002509Yazar$002509Orejas$00252C$002bFernando.$002beditor.$002509Orejas$00252C$002bFernando.$002beditor.$0026ps$003d300?dt=list2025-02-14T23:24:00ZFundamental Approaches to Software Engineering 14th International Conference, FASE 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedingsent://SD_ILS/0/SD_ILS:1699022025-02-14T23:24:00Z2025-02-14T23:24:00Zby Giannakopoulou, Dimitra. editor.<br/><a href="https://doi.org/10.1007/978-3-642-19811-3">https://doi.org/10.1007/978-3-642-19811-3</a><br/>Format: Electronic Resources<br/>Recent Trends in Algebraic Development Techniques 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papersent://SD_ILS/0/SD_ILS:1736622025-02-14T23:24:00Z2025-02-14T23:24:00Zby Fiadeiro, José Luiz. editor.<br/><a href="https://doi.org/10.1007/b107129">https://doi.org/10.1007/b107129</a><br/>Format: Electronic Resources<br/>Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthdayent://SD_ILS/0/SD_ILS:1413172025-02-14T23:24:00Z2025-02-14T23:24:00Zby Kreowski, Hans-Jörg. editor.<br/><a href="https://doi.org/10.1007/b106390">https://doi.org/10.1007/b106390</a><br/>Format: Electronic Resources<br/>