×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [axiomatic basis]
Formal techniques for getting software right: some old ideas and some new tools Applied Formal Methods Research Group 2012-11-02 David Lightfoot:
[email protected]
218 views
1 Econ 240A Power Three. 2 Summary: Week One Descriptive Statistics –measures of central tendency –measures of dispersion Distributions of observation
217 views
Program Derivation of Operations in Finite Fields of Prime Order
644 views
Harrod1938
159 views
outlineZF.pdf
33 views
Program Verification -- new recipe for old problem Zhou Chaochen Institute of Software, CAS
[email protected]
229 views
Conceptual Spaces Applied to the Dynamics of Empirical Theories (42).pdf
217 views
10/25/2015COSC-4301-01, Lecture 151 Real-Time Systems, COSC-4301-01, Lecture 15 Stefan Andrei
223 views
Different Concepts of Welfare: Indices and complete orderings
26 views
Formal techniques for getting software right: some old ideas and some new tools
25 views
An Essay in Dynamic Theory - R F Harrod
231 views
Real-Time Systems, COSC-4301-01, Lecture 15
44 views
Next >