Introduction to Computation 비슷한 책 더 보기
Logic And Declarative Language
2004년
An Introduction to Programming with Specifications (Enhanced Edition)
2012년
Verified Functional Programming in Agda
2016년
Central European Functional Programming School
2008년
Theoretical Introduction to Programming
2005년
Fundamentals of Logic and Computation
2021년
Functional and Logic Programming
2008년
The Correctness-by-Construction Approach to Programming
2012년
Mathematics of Program Construction
2022년
Fundamentals of the Theory of Computation
1998년
Practical Foundations for Programming Languages
2012년
Constructing Correct Software
2007년
Introducing Software Verification with Dafny Language
2022년
Mathematics of Program Construction
2019년
Machines, Computations, and Universality
2018년