2 tulosta hakusanalla "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...
Eric C.R. Hehner · ISBN 9781461264446
Julkaistu 2012 Kieli englanti nidottu
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...