Formal Methods Foundations And Applications 14th Brazilian Symposium On Formal Methods Sbmf 2011 So Paulo September 2630 2011 Revised Selected Papers
Mathematical Logic and Formal LanguagesProgramming TechniquesInformation SystemsSoftware engineeringLogic designLogics and Meanings of ProgramsComputer scienceManagement of Computing and Information Systems
Writing a summary for young readers…
For young readers
Book data: Open Library