YURTSEVEN.ORG is completely for sale, including entire Databases and Domainname. Price: USD 499.900,- Phone: +49(176)74919078
HOME
Search for:
host:www.usingz.com
Showing
1
-
1
of total
1
results
[ 0.813 seconds ]
Yurtseven.ORG
Programming
Languages
Z
Books
1 -
Using Z: Specification, Refinement, and Proof
1 quotes
07-January-2012
By Jim Woodcock, Jim Davies; Prentice Hall, 1996, ISBN 0139484728. Treats formal techniques and methods for software engineering via Z. Full text, slides, exercises, solutions, cards, contents. [University of Oxford, Online]
[similar pages]
Add URL
|
My Sites
|
My Account
|
Login
|
Contact Us