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.
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. All pages are intact. Bookseller Inventory # 0KVBKH002LVY

More Information About This Seller | Ask Bookseller a Question

Buy Used
0.83
Convert Currency

Add to Basket

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

2.

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

Book Description Prentice-Hall, 1990. Paperback. Book Condition: Good. Systematic Software Development Using V. D. M. (Prentice Hall International Series in Computing Science) This book is in good or better condition. It has no tears to the pages and no pages will be missing from the book. The spine of the book is still in great condition and the front cover is generally unmarked. It has signs of previous use but overall is in really nice, tight condition. Shipping is normally same day from our UK warehouse. We offer a money back guarantee if you are not satisfied. Bookseller Inventory # 9053-9780138807337

More Information About This Seller | Ask Bookseller a Question

Buy Used
4.97
Convert Currency

Add to Basket

Shipping: 1.25
From United Kingdom to 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: 1
Seller
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

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

More Information About This Seller | Ask Bookseller a Question

Buy Used
4.39
Convert Currency

Add to Basket

Shipping: 3.23
Within 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: 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
6.01
Convert Currency

Add to Basket

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

5.

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

Book Description Prentice-Hall 01/01/1990, 1990. Book Condition: Good. Will be shipped promptly from UK warehouse. Book is in good condition with no missing pages, no damage or soiling and tight spine. There may be some dog-eared pages showing previous use but overall a great book. Bookseller Inventory # 9053-9780138807337

More Information About This Seller | Ask Bookseller a Question

Buy Used
7.18
Convert Currency

Add to Basket

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

6.

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

Book Description Prentice-Hall 01/01/1990, 1990. Book Condition: used-good. - GREAT BOOK IN GOOD OR BETTER CONDITION, NORMALLY SENT SAME DAY FROM WAREHOUSE. Bookseller Inventory # 7719-9780138807337

More Information About This Seller | Ask Bookseller a Question

Buy Used
7.73
Convert Currency

Add to Basket

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

8.

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

9.

Jones, Cliff B.
Published by Prentice-Hall, 01.04.1990. (1990)
ISBN 10: 0138807337 ISBN 13: 9780138807337
Used Softcover Quantity Available: 1
Seller
Mosakowski & Stiasny GbR
(Florstadt, Germany)
Rating
[?]

Book Description Prentice-Hall, 01.04.1990., 1990. Book Condition: Gut. Auflage: 2 Sub. 350 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 396 23,2 x 17,4 x 1,8 cm, Taschenbuch. Bookseller Inventory # 377358

More Information About This Seller | Ask Bookseller a Question

Buy Used
16.90
Convert Currency

Add to Basket

Shipping: 8.55
From Germany 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
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
18.18
Convert Currency

Add to Basket

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

There are more copies of this book

View all search results for this book