Formal Software Development From VDM to Java - From VDM to Java - Quentin Charatan - Other - Macmillan Education UK - 9780333992814 - September 9, 2003
In case cover and title do not match, the title is correct

Quentin Charatan
Formal Software Development From VDM to Java - From VDM to Java

Get an email once the item is available
Do you have a profile? Log in
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

This is a gently-paced software engineering text that concentrates on the use of formal methods for the development of high integrity software.

256 pages, index

Media Other     N/A   (Unknown format)
Released September 9, 2003
ISBN13 9780333992814
Label Macmillan Education UK
Pages 256
Dimensions 246 × 191 × 15 mm   ·   385 g

More by Quentin Charatan

Show all

See all of Quentin Charatan ( e.g. Paperback Book and Hardcover Book )