Difference between revisions of "Usingz.com"
AboutUsBot (talk | contribs) (Page Updated by AboutUsBot) |
(Update contact information from Whois) |
||
| Line 12: | Line 12: | ||
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] | 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] | ||
| + | ==Contact== | ||
| + | |||
| + | : <address>5407fb3f9f65b26ca2dcf49c49f107b2</address> | ||
| + | : Oxford | ||
| + | : United Kingdom of Great Britain and Northern Ireland OX1 3QD | ||
| + | : <email>7f893fbe8b1c94af772a0955da638edf</email> | ||
| + | : +44.4161234567 | ||
==Additional Information== | ==Additional Information== | ||
| Line 23: | Line 30: | ||
</WikiPages> | </WikiPages> | ||
| + | |||
| + | __NOTOC__ | ||
| + | [[Category:Books]] | ||
[[Category:Computers]] | [[Category:Computers]] | ||
| + | [[Category:Languages]] | ||
[[Category:Programming]] | [[Category:Programming]] | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
Latest revision as of 23:28, 14 January 2008
Title
Using Z: Specification, Refinement, and Proof (Formal techniques and formal methods for software engineering)
Description
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]
Contact
-
- Oxford
- United Kingdom of Great Britain and Northern Ireland OX1 3QD
-
- +44.4161234567
