Recently Viewed

New

Formal Software Development: From VDM to Java by Quentin Charatan 9780333992814

No reviews yet Write a Review
Booksplease Price: £70.32

  Bookmarks: Included free with every order
  Delivery: We ship to over 200 countries from the UK
  Range: Millions of books available
  Reviews: Booksplease rated "Excellent" on Trustpilot

  FREE UK DELIVERY: When You Buy 3 or More Books - Use code: FREEUKDELIVERY in your cart!

SKU:
9780333992814
Available from Booksplease!
Global delivery available
Global delivery available
Global delivery available
Global delivery available
Global delivery available
Availability: Usually dispatched within 4 working days

Frequently Bought Together:

Total: Inc. VAT
Total: Ex. VAT

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.

Book Information
ISBN 9780333992814
Author Quentin Charatan
Format Paperback
Page Count 256
Imprint Palgrave Macmillan
Publisher Palgrave Macmillan
Weight(grams) 499g

Reviews

No reviews yet Write a Review

Booksplease  Reviews