Skip to Main Content
Umbrella Alt Text
header search
Search
Advanced Search
Skip Nav Destination
Ideas That Created the Future: Classic Papers of Computer Science

Ideas That Created the Future: Classic Papers of Computer Science

Edited by
Harry R. Lewis
Harry R. Lewis

Harry Lewis is Gordon McKay Research Professor of Computer Science at Harvard University. He is the coauthor of Blown to Bits: Your Life, Liberty, and Happiness after the Digital Explosion, coeditor of What Is College For?, and editor of Ideas That Created the Future (MIT Press).

Search for other works by this author on:
This Site
Google Scholar
The MIT Press
DOI:
https://doi.org/10.7551/mitpress/12274.001.0001
ISBN electronic:
9780262363174
Publication date:
2021
Book Chapter

31: An Axiomatic Basis for Computer Programming (1969)

By
C. A. R. Hoare
C. A. R. Hoare
Search for other works by this author on:
This Site
Google Scholar
Doi:
https://doi.org/10.7551/mitpress/12274.003.0033
  • Published:
    2021

First Page Preview

First page PDF preview
You do not currently have access to this chapter.
Don't already have an account? Register
A product of The MIT Press
Newsletter Sign Up

MIT Press Direct

Information

MIT Press

Contact Us

© 2023 The MIT Press
Close Modal
This Feature Is Available To Subscribers Only

or Create an Account

Close Modal
Close Modal
This site uses cookies. By continuing to use our website, you are agreeing to our privacy policy. No content on this site may be used to train artificial intelligence systems without permission in writing from the MIT Press.
Accept