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 New View Book
List Price: US$ 37.95
US$ 152.72

Convert Currency

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

Destination, Rates & Speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

Francez Nissim
Published by Addison Wesley (1992)
ISBN 10: 0201416085 ISBN 13: 9780201416084
New Hardcover Quantity Available: 1
Print on Demand
Seller
Rating
[?]

Book Description Addison Wesley, 1992. Book Condition: New. This item is printed on demand for shipment within 3 working days. Bookseller Inventory # GM9780201416084

More Information About This Seller | Ask Bookseller a Question

Buy New
US$ 152.72
Convert Currency

Add to Basket

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