Citation
Manna, Z., and Waldinger, R. Deductive Foundations of Computer ProgrammingAddison-Wesley, 1993.
Information
Book ISBN: 0201548860
Deductive Foundations of Computer Programming
Read more from SRI
-
SRI joins an ambitious NIH effort to improve autism outcomes
The institute’s work on the Autism Data Science Initiative aims to advance our understanding of what positive autism care outcomes look like and how they can be achieved.
-
Pedro Sequeira: Bridging the gap between humans and machines
Working in SRI’s AI Center, Sequeira creates autonomous systems that learn, reason, and adapt under uncertainty.
-
SRI research helps improve reading comprehension instruction
The74 highlights SRI’s vital work helping urban school districts unlock the full value of “science of reading” approaches.