Search Results for Programming languages (Electronic computers) -- Mathematics.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dProgramming$002blanguages$002b$002528Electronic$002bcomputers$002529$002b--$002bMathematics.$0026ic$003dtrue$0026ps$003d300?dt=list2026-06-10T04:16:02ZGuide to Software Verification with Frama-C Core Components, Usages, and Applicationsent://SD_ILS/0/SD_ILS:6042372026-06-10T04:16:02Z2026-06-10T04:16:02ZAuthor Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813 Prevosto, Virgile. editor. Signoles, Julien. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-55608-1">https://doi.org/10.1007/978-3-031-55608-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Grammars and automata for string processing : from mathematics and computer science to biology, and backent://SD_ILS/0/SD_ILS:5395322026-06-10T04:16:02Z2026-06-10T04:16:02ZAuthor Martin Vide, Carlos. Mitrana, Victor. Paun, Gheorghe, 1950-<br/>Preferred Shelf Number QA76 .G6725 2003<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781134425785">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>