Search Results for Formal methods (Computer science) - Narrowed by: Computable functions.
SirsiDynix Enterprise
http://katalog.baskent.edu.tr/client/en_US/default/default/qu$003dFormal$002bmethods$002b$002528Computer$002bscience$002529$0026qf$003dSUBJECT$002509Subject$002509Computable$002bfunctions.$002509Computable$002bfunctions.$0026ps$003d300?dt=list
2026-09-17T06:08:56Z
Computability, complexity, logic
ent://SD_ILS/0/SD_ILS:1191710
2026-09-17T06:08:56Z
2026-09-17T06:08:56Z
by Börger, E. (Egon), 1946-<br/>ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444874061">http://www.sciencedirect.com/science/book/9780444874061</a>
ScienceDirect <a href="http://www.sciencedirect.com/science/publication?issn=0049237X&volume=128">http://www.sciencedirect.com/science/publication?issn=0049237X&volume=128</a><br/>Format: Electronic Resources<br/>