Please note: In order to keep Hive up to date and provide users with the best features, we are no longer able to fully support Internet Explorer. The site is still available to you, however some sections of the site may appear broken. We would encourage you to move to a more modern browser like Firefox, Edge or Chrome in order to experience the site fully.

Supporting your high street Find out how »
Formal Software Development : From VDM to Java, Paperback / softback Book

Formal Software Development : From VDM to Java Paperback / softback

Paperback / softback

Out of stock

Description

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.

Information

  • Out of stock

  • Format:Paperback / softback
  • Pages:256 pages, 256 p.
  • Publisher:Bloomsbury Publishing PLC
  • Publication Date:
  • Category:
  • ISBN:9780333992814

£69.99

Out of stock
Add to Basket
Sign in to add to wishlist
 
Free Home Delivery

on all orders

 
Pick up orders

from local bookshops

Information

  • Out of stock

  • Format:Paperback / softback
  • Pages:256 pages, 256 p.
  • Publisher:Bloomsbury Publishing PLC
  • Publication Date:
  • Category:
  • ISBN:9780333992814