| Updated Blogs |
|
Computer Support Blog
Essensial Software for Web Based Support
HP Server and Desktop
HP ILO - Remote Tech-Support Software
More .....
|
JasmineCorp Search | Free Blogs | Free Tutorials | Free Guest Book | Buy Books | Advertise | Hosting | Web Designing | Software Development | Domain Registration | IP Locater | E-Cards | Whois | Games | Shopping
Title: Using Z: Specification, Refinement, and Proof
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]
Directory: Computers/Programming/Languages/Z/Books
Jasminecorp.net directory is based on the Open Directory and is being modified by Jasminecorp.
©2004 Jasmine Computers Inc.
Click here to subscribe for Jasminecorp's product News.
Home
|| Web Designing
|| Get
a Domain Name || Host
your Web site || Terms
of Service
Our Portfolio ||
Our Clients ||
Job Opportunities
|| Free GuestBook
|| Free
Quote
Buy Books
|| Tell a Friend
|| Special Offer
|| Contact Us
|| Free Tutorial
|| Add JasmineCorp Search
Submit a Site to Jasminecorp.net Directory