Search Results for SpringerLink (Online service) - Narrowed by: Roscoe, Bill. editor. - Electronic Resources - Programming Languages, Compilers, Interpreters.
SirsiDynix Enterprise
https://catalog.tedu.edu.tr/client/tr_TR/defaulttr/defaulttr/qu$003dSpringerLink$002b$002528Online$002bservice$002529$0026qf$003dAUTHOR$002509Yazar$002509Roscoe$00252C$002bBill.$002beditor.$002509Roscoe$00252C$002bBill.$002beditor.$0026qf$003dFORMAT$002509Format$002509ER$002509Electronic$002bResources$0026qf$003dSUBJECT$002509Konu$002509Programming$002bLanguages$00252C$002bCompilers$00252C$002bInterpreters.$002509Programming$002bLanguages$00252C$002bCompilers$00252C$002bInterpreters.$0026ps$003d300?
2024-08-22T07:23:11Z
Formal Methods: Foundations and Applications 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
ent://SD_ILS/0/SD_ILS:17365
2024-08-22T07:23:11Z
2024-08-22T07:23:11Z
Yazar Cornélio, Márcio. editor.<br/><a href="http://dx.doi.org/10.1007/978-3-319-29473-5">http://dx.doi.org/10.1007/978-3-319-29473-5</a><br/>Format: Electronic Resources<br/>
Formal Methods 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:221703
2024-08-22T07:23:11Z
2024-08-22T07:23:11Z
Yazar Havelund, Klaus. editor. (orcid)0000-0001-7079-0472<br/><a href="https://doi.org/10.1007/978-3-319-95582-7">https://doi.org/10.1007/978-3-319-95582-7</a><br/>Format: Electronic Resources<br/>