Formal Methods: Foundations and Applications
Adenilso Simao, Carroll Morgan
Formal Methods: Foundations and Applications - 2011
978-3-642-25032-3
Logics and Meanings of Programs
Management of Computing and Information Systems
Mathematical Logic and Formal Languages
Programming Techniques
Software Engineering
Programming Languages, Compilers, Interpreters
Computer Science
Formal Methods: Foundations and Applications - 2011
978-3-642-25032-3
Logics and Meanings of Programs
Management of Computing and Information Systems
Mathematical Logic and Formal Languages
Programming Techniques
Software Engineering
Programming Languages, Compilers, Interpreters
Computer Science