Systematic Software Development Using Vdm (Prentice-Hall International Series in Computer Science)

2 avg rating
( 3 ratings by Goodreads )
 
9780138807337: Systematic Software Development Using Vdm (Prentice-Hall International Series in Computer 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.
ISBN 10: 0138807337 ISBN 13: 9780138807337
Used Paperback Quantity Available: 1
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
0.75
Convert Currency

Add to Basket

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

2.

Cliff B. Jones
ISBN 10: 0138807337 ISBN 13: 9780138807337
Used Quantity Available: 2
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.26
Convert Currency

Add to Basket

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

3.

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: Used; Good. Ships from the UK within 24 hours. Bookseller Inventory # BBI2051646

More Information About This Seller | Ask Bookseller a Question

Buy Used
2.79
Convert Currency

Add to Basket

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

4.

Cliff B. Jones
Published by -
ISBN 10: 0138807337 ISBN 13: 9780138807337
Used Paperback Quantity Available: 1
Seller:
AwesomeBooks
(Wallingford, United Kingdom)
Rating
[?]

Book Description -. Paperback. Book Condition: Very Good. Systematic Software Development Using V. D. M. (Prentice Hall International Series in Computing Science) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. Bookseller Inventory # 7719-9780138807337

More Information About This Seller | Ask Bookseller a Question

Buy Used
2.80
Convert Currency

Add to Basket

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

5.

Cliff B. Jones
Published by Prentice-Hall 01/01/1990 (1990)
ISBN 10: 0138807337 ISBN 13: 9780138807337
Used Quantity Available: 1
Seller:
Bahamut Media
(Reading, United Kingdom)
Rating
[?]

Book Description Prentice-Hall 01/01/1990, 1990. Book Condition: Very Good. Shipped within 24 hours from our UK warehouse. Clean, undamaged book with no damage to pages and minimal wear to the cover. Spine still tight, in very good condition. Remember if you are not happy, you are covered by our 100% money back guarantee. Bookseller Inventory # 6545-9780138807337

More Information About This Seller | Ask Bookseller a Question

Buy Used
2.80
Convert Currency

Add to Basket

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

6.

Jones, Cliff B.
ISBN 10: 0138807337 ISBN 13: 9780138807337
Used Paperback Quantity Available: 1
Seller:
Electric Chicken
(Goring-By-Sea, 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 # FPS0138807337VG

More Information About This Seller | Ask Bookseller a Question

Buy Used
2.75
Convert Currency

Add to Basket

Shipping: 4.89
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:
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

8.

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
2.64
Convert Currency

Add to Basket

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

9.

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. 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.26
From United Kingdom to U.S.A.
Destination, Rates & Speeds

10.

Jones, Cliff B.
Published by Prentice Hall (1990)
ISBN 10: 0138807337 ISBN 13: 9780138807337
Used Paperback Quantity Available: 1
Seller:
BookStore Independent
(Memphis, TN, U.S.A.)
Rating
[?]

Book Description Prentice Hall, 1990. Paperback. Book Condition: Used: Good. Bookseller Inventory # 14696691

More Information About This Seller | Ask Bookseller a Question

Buy Used
16.63
Convert Currency

Add to Basket

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

There are more copies of this book

View all search results for this book