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 research reveals new connections between menstrual cycles and health
A paper published in Science Advances tracked associations between menstrual cycles and body temperature, uncovering variations with implications for women’s healthcare.
-
SRI-led collaboration supports teachers in nurturing early math success
A new toolkit produced by SRI and released by the Institute of Education Sciences will help teachers incorporate evidence-based math instruction for young students.
-
The New York Times talks with SRI ahead of Apple’s developer conference
Apple’s Siri is on the cusp of a major upgrade. The technology was born at SRI.