Formal Methods: foundations and applications
Iyoda, Juliano
creator
de Moura, Leonardo
text
1st ed. 2013.
monographic
eng
242p.
Software engineering
Programming languages (Electronic computers)
Computer programming
Computer logic
Mathematical logic
Algorithms
Programming Languages, Compilers, Interpreters
Programming Techniques
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Algorithm Analysis and Problem Complexity
004.2CLA
9783642410703
http://10.10.170.122:8080/browse/book/27369
http://10.10.170.122:8080/browse/book/27369
250522
20250522085306.0