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: Supporting and empowering STEM students in community college
SRI’s Andrea Beesley and Carol Tate discuss a national initiative aimed at supporting underrepresented students.
-
The naked mole rat may hold the key to new treatments for neurodegenerative diseases
SRI researchers study the cells of the long-living rodent to find new drug targets for Alzheimer’s, Parkinson’s, and other neurodegenerative disorders.
-
Engineered helper T cell could become a cancer killer
SRI scientists are developing a cell-based platform using an often-undervalued subset of helper T cells to deliver potent antitumor proteins for solid tumors, overcoming dose-related toxicities.