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
-
Podcast: How students can help drive educational innovation
SRI’s Ela Joshi discusses how product developers, researchers, districts, and schools can leverage student voice.
-
SRI researchers develop rugged, low-cost, drifting sensors to learn more about the oceans
PEARL drifters pack an array of sensors into a compact autonomous device to gather data and signs of activity.
-
An SRI collaboration aims to improve online education for college students
The Postsecondary Teaching with Technology Collaborative aims to strengthen teaching and learning, improve student outcomes, and reduce societal gaps.