Search Results for Computers. - Narrowed by: Falcone, Yliès. editor. - English - Logics and Meanings of Programs. - Software engineering.
SirsiDynix Enterprise
https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dComputers.$0026qf$003dAUTHOR$002509Yazar$002509Falcone$00252C$002bYli$0025C3$0025A8s.$002beditor.$002509Falcone$00252C$002bYli$0025C3$0025A8s.$002beditor.$0026qf$003dLANGUAGE$002509Dil$002509ENG$002509English$0026qf$003dSUBJECT$002509Konu$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026qf$003dSUBJECT$002509Konu$002509Software$002bengineering.$002509Software$002bengineering.$0026ps$003d300?
2024-07-12T01:55:38Z
Runtime Verification 16th International Conference, RV 2016, Madrid, Spain, September 23–30, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:18411
2024-07-12T01:55:38Z
2024-07-12T01:55:38Z
Yazar Falcone, Yliès. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-46982-9">http://dx.doi.org/10.1007/978-3-319-46982-9</a><br/>Format: Electronic Resources<br/>
Lectures on Runtime Verification Introductory and Advanced Topics
ent://SD_ILS/0/SD_ILS:223140
2024-07-12T01:55:38Z
2024-07-12T01:55:38Z
Yazar Bartocci, Ezio. editor. (orcid)0000-0002-8004-6601<br/><a href="https://doi.org/10.1007/978-3-319-75632-5">https://doi.org/10.1007/978-3-319-75632-5</a><br/>Format: Electronic Resources<br/>