Monday, March 29, 2021

An Axiomatic Basis for Computer Programming (1969) [pdf]

Article URL: https://web.archive.org/web/20190606132015/https://extras.springer.com/2002/978-3-642-63970-8/DVD3/rom/pdf/Hoare_hist.pdf

Comments URL: https://news.ycombinator.com/item?id=26629779

Points: 2

# Comments: 0



from Hacker News: Newest https://ift.tt/39nFZy4
via IFTTT
at
Labels: ,

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)

Nintendo Switch 2 Launches June 5 at $449.99

Article URL: https://www.businesswire.com/news/home/20250402229347/en/Nintendo-Switch-2-Launches-June-5-at-%24449.99-Bringing-New-Forms-of-G...