Picture 1 of 2

Systematic Software Development Using V. D. M. by Cliff B. Jones (Paperback, 1990)

World of Books Ltd (10382032)

98.5% positive feedback

Price:

GBP 8.16

(inclusive of GST)

ApproximatelyS$ 14.20

+ 7.41 shipping

Estimated delivery Mon, 21 Jul - Fri, 25 Jul

Returns:

30 days return. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.

Condition:

Very Good

About this product

Product Information

A practical guide to software development using DVM, a mathematically based technique for formal specification and correctness reasoning. This edition uses BSI (draft) standard VDM notation, emphasizes the formal approach to specification and design and explains formal proofs for data types.

Product Identifiers

PublisherPearson Education The Limited

ISBN-139780138807337

eBay Product ID (ePID)87080146

Product Key Features

Number of Pages350 Pages

LanguageEnglish

Publication NameSystematic Software Development Using V. D. M.

Publication Year1990

SubjectComputer Science

TypeTextbook

AuthorCliff B. Jones

SeriesPrentice Hall International Series in Computing Science

FormatPaperback

Dimensions

Item Height234 mm

Item Weight530 g

Item Width174 mm

Additional Product Features

Country/Region of ManufactureUnited Kingdom

Title_AuthorCliff B. Jones