Search Results for - Narrowed by: Liu, Zhiming. editor. (orcid)0000-0001-9771-3071 - Springer E-Book Collection - Logics and Meanings of Programs. - Software engineering. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dAUTHOR$002509Yazar$002509Liu$00252C$002bZhiming.$002beditor.$002b$002528orcid$0025290000-0001-9771-3071$002509Liu$00252C$002bZhiming.$002beditor.$002b$002528orcid$0025290000-0001-9771-3071$0026qf$003dLOCATION$002509Lokasyon$0025091$00253ASPRINGER$002509Springer$002bE-Book$002bCollection$0026qf$003dSUBJECT$002509Konu$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026qf$003dSUBJECT$002509Konu$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300$0026isd$003dtrue? 2024-06-22T09:24:35Z