Formal Software Development From VDM to Java - ISBN:0333992814

Formal Software Development From VDM to Java

Date: 19 January 2011, 08:22

Free register and download UseNet downloader, then you can FREE Download from UseNet.

Download without Limit " Formal Software Development From VDM to Java " from UseNet for FREE!

This is a gently-paced software engineering text that concentrates on the use of formal methods for the development of high integrity software. It assumes no previous knowledge of formal methods, and presents a practical and comprehensive treatment of the subject suitable for second and third year undergraduates on computing courses, and students on taught master's courses. The book is packed with examples and exercises throughout, and is supported by a dedicated web site.

Download Links:

Download Link (High Speed Download)

Download Link (http://www1.vista-server.com/...2054479065.zip)

Related Articles:
Java

DISCLAIMER:

This site does not store Formal Software Development From VDM to Java on its server. We only index and link to Formal Software Development From VDM to Java provided by other sites. Please contact the content providers to delete Formal Software Development From VDM to Java if any and email us, we'll remove relevant links or contents immediately.