Program Verification (International Computer Science Series)

0 avg rating
( 0 ratings by Goodreads )
 
9780201416084: Program Verification (International Computer Science Series)
View all copies of this ISBN edition:
 
 

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

Convert currency

Shipping: US$ 3.20
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 (1992)
ISBN 10: 0201416085 ISBN 13: 9780201416084
New Hardcover Quantity Available: 1
Print on Demand
Seller:
Rating
[?]

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

More information about this seller | Contact this seller

Buy New
US$ 155.29
Convert currency

Add to Basket

Shipping: US$ 3.20
From Germany to U.S.A.
Destination, rates & speeds

2.

Nissim, Francez
Published by Addison-Wesley Pub (Sd) (1992)
ISBN 10: 0201416085 ISBN 13: 9780201416084
New Hardcover Quantity Available: 1
Seller:
Murray Media
(North Miami Beach, FL, U.S.A.)
Rating
[?]

Book Description Addison-Wesley Pub (Sd), 1992. Hardcover. Condition: New. Never used!. Seller Inventory # P110201416085

More information about this seller | Contact this seller

Buy New
US$ 325.66
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds