Search Results for - Narrowed by: Calimeri, Francesco. editor. (orcid)0000-0002-0866-0834 - SpringerLink (Online service) - Electronic Book - Springer E-Book Collection - Logics and Meanings of Programs. SirsiDynix Enterprise https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qf$003dAUTHOR$002509Yazar$002509Calimeri$00252C$002bFrancesco.$002beditor.$002b$002528orcid$0025290000-0002-0866-0834$002509Calimeri$00252C$002bFrancesco.$002beditor.$002b$002528orcid$0025290000-0002-0866-0834$0026qf$003dAUTHOR$002509Yazar$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dITYPE$002509Materyal$002bT$0025C3$0025BCr$0025C3$0025BC$0025091$00253AE-BOOKS$002509Electronic$002bBook$0026qf$003dLOCATION$002509Lokasyon$0025091$00253ASPRINGER$002509Springer$002bE-Book$002bCollection$0026qf$003dSUBJECT$002509Konu$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026ps$003d300? 2024-06-24T05:22:04Z