Correct Reasoning
Esra Erdem, Joohyung Lee, Yuliya Lierler, David Pearce
Correct Reasoning - 2012
978-3-642-30743-0
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Techniques
Software Engineering
Programming Languages, Compilers, Interpreters
Computer Science
Correct Reasoning - 2012
978-3-642-30743-0
Logics and Meanings of Programs
Mathematical Logic and Formal Languages
Programming Techniques
Software Engineering
Programming Languages, Compilers, Interpreters
Computer Science