A Practical Theory of Programming
Eric C.R. Hehner · ISBN 9780387941066
Julkaistu 1993 Kieli englanti sidottu
There are several theories of programming. The first usable theory, often called "Hoare's Logic", is still probably the most widely known. In it, a specification is a pair of pr...