Lectures on the Logic of Computer Programming (Zohar Manna)
Carolyn Talcott · SIAM Review · 1981
Previous article Next article Lectures on the Logic of Computer Programming (Zohar Manna)Carolyn TalcottCarolyn Talcotthttps://doi.org/10.1137/1023080PDFBibTexSections ToolsAdd to favoritesExport CitationTrack CitationsEmail SectionsAbout"Lectures on the Logic of Computer Programming (Zohar Manna)." SIAM Review, 23(3), pp. 397–398 Previous article Next article FiguresRelatedReferencesCited byDetails Volume 23, Issue 3| 1981SIAM Review History Published online:17 February 2012 InformationCopyright © 1981 © Society for Industrial and Applied MathematicsPDF Download Article & Publication DataArticle DOI:10.1137/1023080Article page range:pp. 397-398ISSN (print):0036-1445ISSN (online):1095-7200Publisher:Society for Industrial and Applied Mathematics