Search Results for Engineering. - Narrowed by: Computer software. - Logics and Meanings of Programs. - The Computing Profession. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dEngineering.$0026qf$003dSUBJECT$002509Konu$002509Computer$002bsoftware.$002509Computer$002bsoftware.$0026qf$003dSUBJECT$002509Konu$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026qf$003dSUBJECT$002509Konu$002509The$002bComputing$002bProfession.$002509The$002bComputing$002bProfession.$0026ps$003d300? 2024-08-03T00:33:24Z 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-08-03T00:33:24Z 2024-08-03T00:33:24Z 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/> Verification and Evaluation of Computer and Communication Systems 12th International Conference, VECoS 2018, Grenoble, France, September 26&ndash;28, 2018, Proceedings ent://SD_ILS/0/SD_ILS:222327 2024-08-03T00:33:24Z 2024-08-03T00:33:24Z Yazar&#160;Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481<br/><a href="https://doi.org/10.1007/978-3-030-00359-3">https://doi.org/10.1007/978-3-030-00359-3</a><br/>Format:&#160;Electronic Resources<br/>