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...

Pro Git
Added to basket
£35.50
Paperback
The Mythical Man-Month
Added to basket
Essential Scrum
Added to basket
£36.99
Paperback
Kanban
Added to basket
£33.55
Paperback
The Art of Unit Testing
Added to basket
Continuous Delivery
Added to basket
£43.99
Hardback
User Story Mapping
Added to basket
£27.99
Paperback
User Stories Applied
Added to basket
£40.99
Paperback
The Agile Samurai
Added to basket
Domain-Driven Design
Added to basket
£55.99
Hardback
The Clean Coder
Added to basket
£32.99
Paperback
Designing Data-Intensive Applications
Added to basket
Clean Code
Added to basket
£36.99
Paperback
Impact Mapping
Added to basket
£9.99
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.