Formal Software Development: From VDM to Java Book + PRICE WATCH * Amazon pricing is not included in price watch

Formal Software Development: From VDM to Java Book

This gently paced software engineering text 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 contains examples and exercises throughout, and is supported by a dedicated web site.Read More

from£41.93 | RRP: £36.99
* Excludes Voucher Code Discount Also available Used from £8.78
  • 0333992814
  • 9780333992814
  • Quentin Charatan, Aaron Kans
  • 9 September 2003
  • Palgrave Macmillan
  • Paperback (Book)
  • 256
As an Amazon Associate we earn from qualifying purchases. If you click through any of the links below and make a purchase we may earn a small commission (at no extra cost to you). Click here to learn more.

Would you like your name to appear with the review?

We will post your book review within a day or so as long as it meets our guidelines and terms and conditions. All reviews submitted become the licensed property of www.find-book.co.uk as written in our terms and conditions. None of your personal details will be passed on to any other third party.

All form fields are required.