Program Proofs More Books Like This

Paradigms of Artificial Intelligence Programming Paradigms of Artificial Intelligence Programming
Paradigms of Artificial Intelligence Programming
2014
Haskell Haskell
Haskell
2014
Essentials of Programming Languages, third edition Essentials of Programming Languages, third edition
Essentials of Programming Languages, third edition
2008
Software Design for Flexibility Software Design for Flexibility
Software Design for Flexibility
2021
Verified Functional Programming in Agda Verified Functional Programming in Agda
Verified Functional Programming in Agda
2016
FORTRAN 90 for Scientists and Engineers FORTRAN 90 for Scientists and Engineers
FORTRAN 90 for Scientists and Engineers
1994
Structure and Interpretation of Computer Programs Structure and Interpretation of Computer Programs
Structure and Interpretation of Computer Programs
1984
Logic And Declarative Language Logic And Declarative Language
Logic And Declarative Language
2004
Prolog Programming: Questions and Answers (2020 Edition) Prolog Programming: Questions and Answers (2020 Edition)
Prolog Programming: Questions and Answers (2020 Edition)
2019
Prolog Programming: Questions and Answers Prolog Programming: Questions and Answers
Prolog Programming: Questions and Answers
2018
Concepts and Semantics of Programming Languages 1 Concepts and Semantics of Programming Languages 1
Concepts and Semantics of Programming Languages 1
2021
Functional Programming in Scala Functional Programming in Scala
Functional Programming in Scala
2014
The Scheme Programming Language, fourth edition The Scheme Programming Language, fourth edition
The Scheme Programming Language, fourth edition
2009
Functional Programming in Kotlin Functional Programming in Kotlin
Functional Programming in Kotlin
2021
How to Design Programs, second edition How to Design Programs, second edition
How to Design Programs, second edition
2018