Using Z: Specification, Refinement, and Proof
Edit Page
Report
Scan day: 16 February 2014 UTC
12
Virus safety - good
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]
Using Z: Specification, Refinement, and Proof (Formal techniques and formal methods for software engineering) , a textbook for those interested in mathematical specification and design, written by ourselves, and first published in 1996 by Prentice Hall (ISBN 0-13-948472-8).
Size: 274 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Using Z: Specification, Refinement, and Proof (Formal techniques and formal methods for software engineering) |
| Keywords: | |
| Description: | |
| IP-address: | 208.113.170.85 |
WHOIS Info
| NS | Name Server: NS1.DREAMHOST.COM Name Server: NS2.DREAMHOST.COM Name Server: NS3.DREAMHOST.COM |
| WHOIS | Status: ok |
| Date | Creation Date: 03-jun-2002 Expiration Date: 03-jun-2014 |