{
"item_title" : "A Practical Theory of Programming",
"item_author" : [" Eric C. R. Hehner "],
"item_description" : "This book explores aspects of programming that are amenable to mathematical proof. The author describes a programming theory which is simpler and more comprehensive than the current theories to date. The text will be useful to students in courses on programming methodology or verification at the advanced undergraduate or beginning graduate level, as well as for software engineers in the field.",
"item_img_path" : "https://covers3.booksamillion.com/covers/bam/0/38/794/106/0387941061_b.jpg",
"price_data" : {
"retail_price" : "54.99", "online_price" : "54.99", "our_price" : "54.99", "club_price" : "54.99", "savings_pct" : "0", "savings_amt" : "0.00", "club_savings_pct" : "0", "club_savings_amt" : "0.00", "discount_pct" : "10", "store_price" : ""
}
}
A Practical Theory of Programming
Overview
This book explores aspects of programming that are amenable to mathematical proof. The author describes a programming theory which is simpler and more comprehensive than the current theories to date. The text will be useful to students in courses on programming methodology or verification at the advanced undergraduate or beginning graduate level, as well as for software engineers in the field.
This item is Non-Returnable
Customers Also Bought
Details
- ISBN-13: 9780387941066
- ISBN-10: 0387941061
- Publisher: Springer
- Publish Date: August 1993
- Dimensions: 9.55 x 7.17 x 0.7 inches
- Shipping Weight: 1.25 pounds
- Page Count: 247
Related Categories
