Back to Results
First PageMeta Content
Functional predicate / Model theory / Predicate / Programming language / Necessity and sufficiency / Logic / Mathematical logic / Mathematics


On Correctness of Imperative Programs — Precondition Calculation (DRAFT) R.D. Arthan 10 December 2006
Add to Reading List

Document Date: 2006-12-10 08:21:16

Open Document

File Size: 181,16 KB

Share Result on Facebook

ProgrammingLanguage

EC / C / /

PublishedMedium

Theoretical Computer Science / /

Technology

dom / /

SocialTag