Picture 1 of 1

Stock photo

Formal Software Development : From Vdm to Java, Paperback by Charatan, Quenti... - Picture 1 of 1

Formal Software Development : From VDM to Java by Aaron Kans and Quentin Charatan (2003, Trade Paperback)

Great Book Prices Store (341547)

96.8% positive feedback

Price:

$107.67

Free shipping

Estimated delivery Fri, Sep 12 - Tue, Sep 23

Returns:

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

Condition:

Brand New

Formal Software Development : From Vdm to Java, Paperback by Charatan, Quentin; Kans, Aaron, ISBN 0333992814, ISBN-13 9780333992814, Brand New, Free shipping in the US This gently-paced software engineering text concentrates on the use of formal methods for the development of high integrity software. Th contains examples and exercises throughout and is supported by a dedicated web site.

About this product

Product Identifiers

PublisherBloomsbury Academic & Professional

ISBN-100333992814

ISBN-139780333992814

eBay Product ID (ePID)118638498

Product Key Features

Number of Pages256 Pages

LanguageEnglish

Publication NameFormal Software Development : from Vdm to Java

SubjectSoftware Development & Engineering / General

Publication Year2003

TypeTextbook

Subject AreaComputers

AuthorAaron Kans, Quentin Charatan

FormatTrade Paperback

Dimensions

Item Height0.5 in

Item Weight13.6 Oz

Item Length9.6 in

Item Width6.7 in

Additional Product Features

Intended AudienceCollege Audience

Number of Volumes1 vol.

IllustratedYes

Table Of ContentPreface High Integrity Software Development Propositional and Predicate Logic An Introduction to Specification in VDM-SL From VDM Specifications to Java Implementations Sets Implementing Sets Sequences Implementing Sequences Composite Objects Implementing Composite Objects Maps Implementing Maps Case Study Part 1: Specification Case Study Part 2: Implementation Index.

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

LC Classification NumberQA75.5-76.95