search for books and compare prices
The Correctness-by-construction Approach to Programming
By
Bruce W. Watson and
Derrick G. Kourie
Price
Store
Arrives
Preparing
Shipping
Jump quickly to results on these stores:
The price is the lowest for any condition, which may be new or used; other conditions may also be available.
Bibliographic Detail
Publisher
Springer-Verlag New York Inc
Publication date
May 9, 2014
Binding
Paperback
Book category
Adult Non-Fiction
ISBN-13
9783642448546
ISBN-10
3642448542
Dimensions
0.75 by 6.25 by 9 in.
Weight
0.90 lbs.
Original list price
$109.00
Summaries and Reviews
Amazon.com description: Product Description:
Focusing on ways to bridge the gap between formal and more intuitive software programming, this carefully graded text provides stepwise explanation of algorithm derivation and facilitates practical applications in computation geometry, among other fields.
Editions
Hardcover
With Derrick G. Kourie |
from Springer-Verlag New York Inc (April 11, 2012)
9783642279188 | details & prices | 268 pages | 6.00 × 9.00 × 0.75 in. | 1.15 lbs | List price $109.00
Paperback
The price comparison is for this edition
With Derrick G. Kourie |
from Springer-Verlag New York Inc (May 9, 2014)
9783642448546 | details & prices | 6.25 × 9.00 × 0.75 in. | 0.90 lbs | List price $109.00
About: Focusing on ways to bridge the gap between formal and more intuitive software programming, this carefully graded text provides stepwise explanation of algorithm derivation and facilitates practical applications in computation geometry, among other fields.
About: Focusing on ways to bridge the gap between formal and more intuitive software programming, this carefully graded text provides stepwise explanation of algorithm derivation and facilitates practical applications in computation geometry, among other fields.
Pricing is shown for items sent to or within the U.S., excluding shipping and tax. Please consult the store to determine exact fees. No warranties are made express or implied about the accuracy, timeliness, merit, or value of the information provided. Information subject to change without notice. isbn.nu is not a bookseller, just an information source.