Back to Results
First PageMeta Content
Formal systems / Metalogic / Formal methods / Function / Axiom / Lisp / Mathematical proof / Axiomatic system / Mathematics / Logic / Mathematical logic


Axiomatic Language Walter W. Wilson Axiomatic language is proposed as a tool for greater programmer productivity and software reliability. Goals – Axiomatic language has the following goals: (1) pure specification –
Add to Reading List

Document Date: 2015-04-04 17:54:15

Open Document

File Size: 74,67 KB

Share Result on Facebook
UPDATE