Search Results for - Narrowed by: Logics and Meanings of Programs. - Proen&ccedil;a, Jos&eacute;. editor. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dSUBJECT$002509Konu$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026qf$003dAUTHOR$002509Yazar$002509Proen$0025C3$0025A7a$00252C$002bJos$0025C3$0025A9.$002beditor.$002509Proen$0025C3$0025A7a$00252C$002bJos$0025C3$0025A9.$002beditor.$0026ps$003d300? 2024-05-18T18:03:15Z Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings ent://SD_ILS/0/SD_ILS:224517 2024-05-18T18:03:15Z 2024-05-18T18:03:15Z Yazar&#160;Proen&ccedil;a, Jos&eacute;. editor.<br/><a href="https://doi.org/10.1007/978-3-319-68034-7">https://doi.org/10.1007/978-3-319-68034-7</a><br/>Format:&#160;Electronic Resources<br/> Coordination Models and Languages 18th IFIP WG 6.1 International Conference, COORDINATION 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings ent://SD_ILS/0/SD_ILS:18004 2024-05-18T18:03:15Z 2024-05-18T18:03:15Z Yazar&#160;Lluch Lafuente, Alberto. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-39519-7">http://dx.doi.org/10.1007/978-3-319-39519-7</a><br/>Format:&#160;Electronic Resources<br/>