Eric C.R. Hehner – författare
Visar alla böcker från författaren Eric C.R. Hehner. Handla med fri frakt och snabb leverans.
3 produkter
Practical Theory of Programming
Inbunden, 1993
567 kr
Lägg i varukorg
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 predicates: a precondition and postcondition (these and all technical terms will be defined in due course). Another popular …
Practical Theory of Programming
E-bok, 2012
755 kr
Lägg i varukorg
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 predicates: a precondition and postcondition (these and all technical terms will be defined in due course). Another popular …
Practical Theory of Programming
Häftad, 2012
567 kr
Lägg i varukorg
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 predicates: a precondition and postcondition (these and all technical terms will be defined in due course). Another popular …
