01020cam a22003135i 4500003000900000005001700009008004100026020001800067040001000085082001300095100001900108245005000127250001800177300001000195490004300205650002600248650005000274650002600324650002000350650002400370650001600394650005200410650002800462650003700490650004500527650004700572700002300619856006400642PK-NaQUE20250522085306.0250522b           ||||| |||| 00| 0 eng d  a9783642410703  cQUEST04a004.2CLA  aIyoda, Juliano00aFormal Methods: foundations and applications   a1st ed. 2013.  a242p.1 aProgramming and Software Engineering ; 0aSoftware engineering. 0aProgramming languages (Electronic computers). 0aComputer programming. 0aComputer logic. 0aMathematical logic. 0aAlgorithms.24aProgramming Languages, Compilers, Interpreters.24aProgramming Techniques.24aLogics and Meanings of Programs.24aMathematical Logic and Formal Languages.24aAlgorithm Analysis and Problem Complexity.1 ade Moura, Leonardo  uhttp://10.10.170.122:8080/browse/book/27369yDownload eBook