Search Results for Logics and Meanings of Programs. - Narrowed by: Gallina, Barbara. editor. (orcid)0000-0002-6952-1053
SirsiDynix Enterprise
https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dLogics$002band$002bMeanings$002bof$002bPrograms.$0026qf$003dAUTHOR$002509Yazar$002509Gallina$00252C$002bBarbara.$002beditor.$002b$002528orcid$0025290000-0002-6952-1053$002509Gallina$00252C$002bBarbara.$002beditor.$002b$002528orcid$0025290000-0002-6952-1053$0026ps$003d300?
2024-09-22T16:22:53Z
Computer Safety, Reliability, and Security SAFECOMP 2018 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Västerås, Sweden, September 18, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:221942
2024-09-22T16:22:53Z
2024-09-22T16:22:53Z
Yazar Gallina, Barbara. editor. (orcid)0000-0002-6952-1053<br/><a href="https://doi.org/10.1007/978-3-319-99229-7">https://doi.org/10.1007/978-3-319-99229-7</a><br/>Format: Electronic Resources<br/>
Computer Safety, Reliability, and Security 37th International Conference, SAFECOMP 2018, Västerås, Sweden, September 19-21, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:222613
2024-09-22T16:22:53Z
2024-09-22T16:22:53Z
Yazar Gallina, Barbara. editor. (orcid)0000-0002-6952-1053<br/><a href="https://doi.org/10.1007/978-3-319-99130-6">https://doi.org/10.1007/978-3-319-99130-6</a><br/>Format: Electronic Resources<br/>