Visit our Christmas Gift Finder
Formal Software Development: From VDM to Java (Paperback)
  • Formal Software Development: From VDM to Java (Paperback)
zoom

Formal Software Development: From VDM to Java (Paperback)

(author), (author)
£51.99
Paperback 256 Pages / Published: 09/09/2003
  • Publisher out of stock

Currently unavailable to order

This product is currently unavailable.

  • This item has been added to your basket
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.

Publisher: Palgrave Macmillan
ISBN: 9780333992814
Number of pages: 256
Weight: 499 g
Dimensions: 246 x 189 x 15 mm

You may also be interested in...

Crystal Clear
Added to basket
£29.99
Paperback
The Clean Coder
Added to basket
£33.49
Paperback
Clean Code
Added to basket
£36.99
Paperback
Agile Project Management
Added to basket
Test Driven Development
Added to basket
User Story Mapping
Added to basket
£27.99
Paperback
Succeeding with Agile
Added to basket
£38.49
Paperback
Design Patterns
Added to basket
£44.49
Hardback
Git Pocket Guide
Added to basket
User Stories Applied
Added to basket
£40.49
Paperback
Implementing Domain-Driven Design
Added to basket
Designing Data-Intensive Applications
Added to basket
Domain-Driven Design
Added to basket
£55.49
Hardback
Agile Product Management with Scrum
Added to basket
Continuous Delivery
Added to basket
£44.49
Hardback

Reviews

Please sign in to write a review

Your review has been submitted successfully.