Program Verification (International Computer Science Series)

0 avg rating
( 0 ratings by GoodReads )
 
9780201416084: Program Verification (International Computer Science Series)

This comprehensive textbook on program verification aims to give a clear, up-to-date approach to building proveably correct programs, emphasising the role of verification in software development. Features


rigorous approach, assuming no knowledge of logic and discrete maths
covers modern topics like concurrency and fairness
includes many exercises as an aid to understanding, plus solutions to selected exercises within the book

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

Buy Used View Book
List Price: US$ 37.95
US$ 3.71

Convert Currency

Shipping: US$ 1.55
From United Kingdom to U.S.A.

Destination, Rates & Speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

Nissim Francez
Published by Addison Wesley (1992)
ISBN 10: 0201416085 ISBN 13: 9780201416084
Used Hardcover Quantity Available: 1
Seller
AwesomeBooks
(Wallingford, United Kingdom)
Rating
[?]

Book Description Addison Wesley, 1992. Hardcover. Book Condition: Very Good. Program Verification (International Computer Science Series) 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-9780201416084

More Information About This Seller | Ask Bookseller a Question

Buy Used
US$ 3.71
Convert Currency

Add to Basket

Shipping: US$ 1.55
From United Kingdom to U.S.A.
Destination, Rates & Speeds

2.

Francez, Nissim
Published by Addison Wesley (1992)
ISBN 10: 0201416085 ISBN 13: 9780201416084
Used Hardcover Quantity Available: 1
Seller
Bookbarn International
(Bristol, SOM, United Kingdom)
Rating
[?]

Book Description Addison Wesley, 1992. Hardcover. Book Condition: Used; Good. Ships from the UK within 24 hours. No Dustjacket. Bookseller Inventory # BBI2373801

More Information About This Seller | Ask Bookseller a Question

Buy Used
US$ 5.79
Convert Currency

Add to Basket

Shipping: US$ 2.58
From United Kingdom to U.S.A.
Destination, Rates & Speeds

3.

Nissim, Francez
Published by Addison-Wesley Pub (Sd)
ISBN 10: 0201416085 ISBN 13: 9780201416084
Used Hardcover Quantity Available: 1
Seller
Silver Arch Books
(St Louis, MO, U.S.A.)
Rating
[?]

Book Description Addison-Wesley Pub (Sd). Hardcover. Book Condition: Good. Book has a small amount of wear visible on the binding, cover, pages. Bookseller Inventory # G0201416085I3N00

More Information About This Seller | Ask Bookseller a Question

Buy Used
US$ 8.60
Convert Currency

Add to Basket

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

4.

Nissim, Francez
Published by Addison-Wesley Pub (Sd)
ISBN 10: 0201416085 ISBN 13: 9780201416084
Used Hardcover Quantity Available: 1
Seller
Sierra Nevada Books
(Reno, NV, U.S.A.)
Rating
[?]

Book Description Addison-Wesley Pub (Sd). Hardcover. Book Condition: Very Good. Very good condition - book only shows a small amount of wear. Bookseller Inventory # G0201416085I4N00

More Information About This Seller | Ask Bookseller a Question

Buy Used
US$ 8.60
Convert Currency

Add to Basket

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

5.

Nissim, Francez
ISBN 10: 0201416085 ISBN 13: 9780201416084
Used Quantity Available: 1
Seller
medimops
(Berlin, Germany)
Rating
[?]

Book Description Book Condition: very good. 612 Gramm. Bookseller Inventory # M00201416085-V

More Information About This Seller | Ask Bookseller a Question

Buy Used
US$ 3.35
Convert Currency

Add to Basket

Shipping: US$ 8.69
From Germany to U.S.A.
Destination, Rates & Speeds

6.

Nissim Francez
ISBN 10: 0201416085 ISBN 13: 9780201416084
Used Quantity Available: 1
Seller
Castle Rock
(Pittsford, NY, U.S.A.)
Rating
[?]

Book Description Book Condition: Very Good. Book Condition: Very Good. Bookseller Inventory # 97802014160843.0

More Information About This Seller | Ask Bookseller a Question

Buy Used
US$ 14.35
Convert Currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, Rates & Speeds

7.

Francez, Nissim
Published by Addison-Wesley (1992)
ISBN 10: 0201416085 ISBN 13: 9780201416084
Used Hardcover Quantity Available: 1
Seller
Antiquariaat van Starkenburg
(Apeldoorn, Netherlands)
Rating
[?]

Book Description Addison-Wesley, 1992. cloth, 312 pp. Bookseller Inventory # ww0412k

More Information About This Seller | Ask Bookseller a Question

Buy Used
US$ 50.36
Convert Currency

Add to Basket

Shipping: US$ 15.75
From Netherlands to U.S.A.
Destination, Rates & Speeds