Systematic Software Development Using V. D. M. (Prentice Hall International Series in Computing Science)

2 avg rating
( 3 ratings by Goodreads )
 
9780138807337: Systematic Software Development Using V. D. M. (Prentice Hall International Series in Computing Science)

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.

"synopsis" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

1.

Jones, Cliff B.
Published by Prentice-Hall (1990)
ISBN 10: 0138807337 ISBN 13: 9780138807337
Used Paperback Quantity Available: 2
Seller
Bookbarn International
(Bristol, SOM, United Kingdom)
Rating
[?]

Book Description Prentice-Hall, 1990. Paperback. Book Condition: Good. Sent within 24 hours. Expedited UK delivery available. Bookseller Inventory # BBI2051646

More Information About This Seller | Ask Bookseller a Question

Buy Used
2.59
Convert Currency

Add to Basket

Shipping: 2
From United Kingdom to U.S.A.
Destination, Rates & Speeds

2.

Jones, Cliff B.
ISBN 10: 0138807337 ISBN 13: 9780138807337
Used Quantity Available: 1
Seller
Seattle Goodwill
(Seattle, WA, U.S.A.)
Rating
[?]

Book Description Book Condition: Good. May have some shelf-wear due to normal use. Bookseller Inventory # 0KVBKH003I5Z

More Information About This Seller | Ask Bookseller a Question

Buy Used
1.95
Convert Currency

Add to Basket

Shipping: 3.12
Within U.S.A.
Destination, Rates & Speeds

3.

Jones, Cliff B.
ISBN 10: 0138807337 ISBN 13: 9780138807337
Used Paperback Quantity Available: 2
Seller
WorldofBooks
(Goring-By-Sea, WS, United Kingdom)
Rating
[?]

Book Description Paperback. Book Condition: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Bookseller Inventory # GOR001510392

More Information About This Seller | Ask Bookseller a Question

Buy Used
3.16
Convert Currency

Add to Basket

Shipping: 4.89
From United Kingdom to U.S.A.
Destination, Rates & Speeds

4.

JONES, CLIFF B.
Published by Prentice-Hall (1990)
ISBN 10: 0138807337 ISBN 13: 9780138807337
Used Paperback Quantity Available: 1
Seller
Green Ink Booksellers
(Hay-on-Wye, United Kingdom)
Rating
[?]

Book Description Prentice-Hall, 1990. Paperback. Book Condition: Very Good. Previous owner's name & date in ink on front free endpaper sticker residue on cover Book internally very good 350 pages. Bookseller Inventory # 587314

More Information About This Seller | Ask Bookseller a Question

Buy Used
5
Convert Currency

Add to Basket

Shipping: 4.99
From United Kingdom to U.S.A.
Destination, Rates & Speeds

5.

Cliff B. Jones
Published by Pearson Education Limited 1990-01-01 (1990)
ISBN 10: 0138807337 ISBN 13: 9780138807337
Used Quantity Available: 1
Seller
Bookdonors CIC
(GALASHIELS, United Kingdom)
Rating
[?]

Book Description Pearson Education Limited 1990-01-01, 1990. Book Condition: Very Good. All books are pre-owned and will have been read by someone else before you. They may well show signs of minor wear and tear. Please note, cover images are illustrative only, and the actual book cover and edition can vary. Bookseller Inventory # 9780138807337-21

More Information About This Seller | Ask Bookseller a Question

Buy Used
7.98
Convert Currency

Add to Basket

Shipping: 8.50
From United Kingdom to U.S.A.
Destination, Rates & Speeds

6.

Jones, Cliff B.
Published by Prentice Hall, United Kingdom (1990)
ISBN 10: 0138807337 ISBN 13: 9780138807337
Used Soft cover Quantity Available: 1
Seller
Firethorn Books
(Hyde, United Kingdom)
Rating
[?]

Book Description Prentice Hall, United Kingdom, 1990. Soft cover. Book Condition: Good. No Jacket. 8vo - over 7¾ - 9¾" tall. Second edition, circa 1990 - print runs 3 to 5 and 91 to 94 stated. Medium size soft back book. Ex library with usual stamps and labels. White and orangey/ red covers with black lettering. Part of the 'Prentice Hall International Series in Computer Science' - more titles listed to frontispiece. Comprises: foreword to the first edition; preface; 12 chapters; appendices; bibliography; indexes. Xiv plus 333 pages. Text is clean. Binding is quite tight but spine leans. Covers show some wear - discoloured with bumped corners, a few surface marks and rubbed edges. #247.14. Bookseller Inventory # 008699

More Information About This Seller | Ask Bookseller a Question

Buy Used
6
Convert Currency

Add to Basket

Shipping: 11.25
From United Kingdom to U.S.A.
Destination, Rates & Speeds

7.

Jones, Cliff B.
Published by Prentice Hall (1990)
ISBN 10: 0138807337 ISBN 13: 9780138807337
Used Paperback Quantity Available: 1
Seller
Booked Again
(Summit, NJ, U.S.A.)
Rating
[?]

Book Description Prentice Hall, 1990. Paperback. Book Condition: Good. Good condition, some are ex-library and can have markings. Bookseller Inventory # GD-006-73-7338107

More Information About This Seller | Ask Bookseller a Question

Buy Used
24.08
Convert Currency

Add to Basket

Shipping: 7.81
Within U.S.A.
Destination, Rates & Speeds

8.

Jones, Cliff B.
Published by Prentice Hall (1990)
ISBN 10: 0138807337 ISBN 13: 9780138807337
Used Paperback Quantity Available: 1
Seller
Booked Again
(Summit, NJ, U.S.A.)
Rating
[?]

Book Description Prentice Hall, 1990. Paperback. Book Condition: Very Good. Very good. Bookseller Inventory # HH-006-73-7338107

More Information About This Seller | Ask Bookseller a Question

Buy Used
27.63
Convert Currency

Add to Basket

Shipping: 7.81
Within U.S.A.
Destination, Rates & Speeds