×
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]
216 views
1 Econ 240A Power Three. 2 Summary: Week One Descriptive Statistics –measures of central tendency –measures of dispersion Distributions of observation
215 views
Program Derivation of Operations in Finite Fields of Prime Order
644 views
Harrod1938
159 views
outlineZF.pdf
31 views
Program Verification -- new recipe for old problem Zhou Chaochen Institute of Software, CAS
[email protected]
228 views
10/25/2015COSC-4301-01, Lecture 151 Real-Time Systems, COSC-4301-01, Lecture 15 Stefan Andrei
219 views
Different Concepts of Welfare: Indices and complete orderings
21 views
Formal techniques for getting software right: some old ideas and some new tools
23 views
An Essay in Dynamic Theory - R F Harrod
225 views
Program Verification -- new recipe for old problem
18 views
Software Design and Implementation: Composition and Substitution Dror Feitelson Software Engineering Hebrew University
220 views
Next >