How much does shipping cost?

Shipping is a flat $4.99 within the US and free on orders over $39.99. We ship worldwide; international rates are shown at checkout.

How long does delivery take?

Orders are handled in 1–2 business days and typically arrive within 5–10 business days.

What is your return policy?

You can return items within 30 days of delivery, and return shipping is free.

Which currencies can I shop in?

Prices can be viewed in USD, INR, AED and AUD; orders are processed in US dollars.

How large is your catalogue?

LitBookHub carries millions of titles across every genre — fiction, non-fiction, academic, children's and more.

Formal Software Development: From VDM to Java

by Quentin Charatan

Bloomsbury Publishing PLC

Paperback or Softback 256 pages Sep 09, 2003

(No reviews yet) Write a Review

$116.99

Quantity:

Adding to cart… The item has been added

Millions of titlesEvery book you're looking for

Carbon-neutral shippingFree on orders over $39.99

Fast shipping worldwideDelivered to your door

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.

Author:: Quentin Charatan
Publisher:: Bloomsbury Publishing PLC
Publication Date:: Sep 09, 2003
Number of pages:: 256 pages
Binding:: Paperback or Softback
ISBN-10:: 0333992814
ISBN-13:: 9780333992814