TY  - BOOK
AU  - Iyoda, Juliano
AU  - de Moura,Leonardo
TI  - Formal Methods: foundations and applications 
T2  - Programming and Software Engineering
SN  - 9783642410703
U1  - 004.2CLA 
KW  - Software engineering
KW  - Programming languages (Electronic computers)
KW  - Computer programming
KW  - Computer logic
KW  - Mathematical logic
KW  - Algorithms
KW  - Programming Languages, Compilers, Interpreters
KW  - Programming Techniques
KW  - Logics and Meanings of Programs
KW  - Mathematical Logic and Formal Languages
KW  - Algorithm Analysis and Problem Complexity
UR  - http://10.10.170.122:8080/browse/book/27369
ER  -