Items related to Verifiable Programming (Prentice Hall International...

Verifiable Programming (Prentice Hall International Series in Computing Science) - Softcover

 
9780139510625: Verifiable Programming (Prentice Hall International Series in Computing Science)

Synopsis

This work on programming is aimed at those who know how very difficult a task it is. It adopts two approaches - focusing on program verifiability through reasoning about the program text and identifying a style of "abstract" formal concept definition for reasoning about programs.

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

Buy Used

Condition: Near Fine
Ancien livre de bibliothèque. Couverture...
View this item

£ 6.90 shipping from France to United Kingdom

Destination, rates & speeds

Search results for Verifiable Programming (Prentice Hall International...

Stock Image

Ole-Johan Dahl
Published by Prentice-Hall, 1992
ISBN 10: 0139510621 ISBN 13: 9780139510625
Used Softcover

Seller: Ammareal, Morangis, France

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Softcover. Condition: Bon. Ancien livre de bibliothèque. Couverture différente. Edition 1992. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Different cover. Edition 1992. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # F-933-979

Contact seller

Buy Used

£ 27.51
Convert currency
Shipping: £ 6.90
From France to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Dahl, Ole-Johan
Published by Prentice Hall, 1992
ISBN 10: 0139510621 ISBN 13: 9780139510625
Used paperback

Seller: HPB-Red, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_421399503

Contact seller

Buy Used

£ 12.10
Convert currency
Shipping: £ 84.65
From U.S.A. to United Kingdom
Destination, rates & speeds

Quantity: 1 available

Add to basket