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$ 24.24

Convert Currency

Shipping: US$ 10.43
From Germany to U.S.A.

Destination, Rates & Speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

Nissim, Francez
Published by Addison-Wesley Educational Publishers Inc, 01.10.1992. (1992)
ISBN 10: 0201416085 ISBN 13: 9780201416084
Used Quantity Available: 1
Seller
Mosakowski & Stiasny GbR
(Florstadt, Germany)
Rating
[?]

Book Description Addison-Wesley Educational Publishers Inc, 01.10.1992., 1992. Book Condition: Gut. Auflage: 01. 352 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 608 23,6 x 16,0 x 2,3 cm, Gebundene Ausgabe. Bookseller Inventory # 383864

More Information About This Seller | Ask Bookseller a Question

Buy Used
US$ 24.24
Convert Currency

Add to Basket

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

2.

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$ 35.29
Convert Currency

Add to Basket

Shipping: FREE
Within 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
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$ 35.29
Convert Currency

Add to Basket

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

4.

Nissim, Francez
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$ 48.90
Convert Currency

Add to Basket

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

5.

Nissim, Francez
Published by PEARSON EDUCACION
ISBN 10: 0201416085 ISBN 13: 9780201416084
Used Quantity Available: 1
Seller
Atmosphere Books
(Dos Hermanas, SEVIL, Spain)
Rating
[?]

Book Description PEARSON EDUCACION. Book Condition: Muy Bueno / Very Good. Bookseller Inventory # 100000000855025

More Information About This Seller | Ask Bookseller a Question

Buy Used
US$ 1,232.25
Convert Currency

Add to Basket

Shipping: US$ 30.60
From Spain to U.S.A.
Destination, Rates & Speeds