01073cam a22003375i 4500 68819 68816 PK-NaQUE 20250522085306.0 250522b ||||| |||| 00| 0 eng d 9783642410703 QUEST 004.2CLA Iyoda, Juliano Formal Methods: foundations and applications 1st ed. 2013. 242p. Programming and Software Engineering ; 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. de Moura, Leonardo http://10.10.170.122:8080/browse/book/27369 Download eBook BK ddc 0 0 ddc 0 0 QUESTCL QUESTCL 2025-05-20 15671.00 0 004.2CLA 58751 2025-05-20 00:00:00 2025-05-20 BK