Items related to Verifiable Programming (Prentice-hall International...
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.
- PublisherPrentice Hall
- Publication date1992
- ISBN 10 0139510621
- ISBN 13 9780139510625
- BindingPaperback
- LanguageEnglish
- Number of pages280
Search results for Verifiable Programming (Prentice-hall International...
Stock Image
Verifiable Programming (Prentice-hall International Series in Computer Science)
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
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
Quantity: 1 available
Stock Image
Verifiable Programming
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
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
Quantity: 1 available