Systematic Software Development Using VDM (Prentice-Hall Series in Signal Processing)

Jones, C. B."

2.67 out of 5 stars

9 ratings by Goodreads

ISBN 10: 0138807256 ISBN 13: 9780138807252

Published by Prentice Hall International, 1986

Language: English

Condition: New Hardcover

Save for Later

Sold by BooksByLisa, Highland Park, IL, U.S.A.

AbeBooks Seller since September 27, 2022

Seller rating 4 out of 5 stars

View this seller's items

View all copies of this book

New - Hardcover

Condition: New

Price: US$ 16.50 Convert Currency

Free shipping within U.S.A. Destination, rates & speeds

Quantity: 1 available

Add to basket

Free 30-day returns

Save for Later

About this Item

PHOTO AND VIDEO OF PAGES TAKEN TO SHOW CONDITION PRIOR TO SHIPPING; PHOTOS EMAILED FOR MORE SPECIFICS WHEN REQUESTED; Book.

Seller Inventory # 41

Contact seller

Report this item

Bibliographic Details

Title

Systematic Software Development Using VDM (Prentice-Hall Series in Signal Processing)

Publisher

Prentice Hall International

Publication Date

1986

Language

English

ISBN 10

0138807256

ISBN 13

9780138807252

Binding

Hardcover

Condition

New

Seller catalogs

Computer books

About this title

Synopsis

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.

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

Store Description

My Bookstore has a wide variety of books, both new and used.. all in quality condition as described

Visit Seller's Storefront

Seller's business information

BooksByLisa
IL, U.S.A.

Sale & Shipping Terms

Terms of Sale

Lisa Savin: 847-274-4830
19499 Cedar Glen Dr Boca Raron, FL. 33434
8 Ridge Road Highland Park, IL. 60035

Media Shipling is 3.99 per book and .09 per lb book over 1lb. Pack and ship by 3-5 days. only Priority Service as option is $8.00 plus .09 per lb over 1lb

Sellers are required to accept returns, when initiated within 30 days of the estimated delivery date, for all reasons under AbeBooks' Return Policy. Refund amounts are based on the return reason. If the return reason cannot be determined, ...

More Information

Shipping Terms

no insurancd ofher the THE USPS $50 inless requested and paid by buyer

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	5 to 12 business days	3 to 5 business days
First item	US$ 0.00	US$ 17.00

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.