Unifying Theories of Programming
Andrew Butterfield
Unifying Theories of Programming - 2010
978-3-642-14521-6
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Techniques
Software Engineering
Software Engineering/Programming and Operating Systems
Programming Languages, Compilers, Interpreters
Computer Science
Unifying Theories of Programming - 2010
978-3-642-14521-6
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Techniques
Software Engineering
Software Engineering/Programming and Operating Systems
Programming Languages, Compilers, Interpreters
Computer Science