search for books and compare prices
Program Construction: Calculating Implementations from Specifications
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
John Wiley & Sons Inc
Publication date
May 23, 2003
Pages
320
Binding
Paperback
Book category
Adult Non-Fiction
ISBN-13
9780470848821
ISBN-10
0470848820
Dimensions
0.75 by 7.50 by 9.25 in.
Weight
1.45 lbs.
Original list price
$88.05
Amazon.com says people who bought this book also bought:
Program Logics for Certified Compilers | Types and Programming Languages | The Little Prover | Thinking Functionally With Haskell | Predicate Calculus and Program Semantics | Rigorous Software Development | Formal Development of Programs and Proofs | Programming from Specifications
Program Logics for Certified Compilers | Types and Programming Languages | The Little Prover | Thinking Functionally With Haskell | Predicate Calculus and Program Semantics | Rigorous Software Development | Formal Development of Programs and Proofs | Programming from Specifications
Summaries and Reviews
(view table of contents)
Amazon.com description: Product Description:
- Unique approach tackles what most books don't-why maths and logic are fundamental tools for a programmer
- This comprehensive guide is a balanced combination of mathematical theory and the practice of programming
- Straightforward presentation of construction principles inlcuding: assignment axiom, sequential composition, case analysis, use of invariants and bound functions
- Includes a wide range of entertaining and challenging examples and exercises
Editions
Paperback
The price comparison is for this edition
from John Wiley & Sons Inc (May 23, 2003)
9780470848821 | details & prices | 320 pages | 7.50 × 9.25 × 0.75 in. | 1.45 lbs | List price $88.05
About: Unique approach tackles what most books don't-why maths and logic are fundamental tools for a programmer This comprehensive guide is a balanced combination of mathematical theory and the practice of programming Straightforward presentation of construction principles inlcuding: assignment axiom, sequential composition, case analysis, use of invariants and bound functions Includes a wide range of entertaining and challenging examples and exercises
About: Unique approach tackles what most books don't-why maths and logic are fundamental tools for a programmer This comprehensive guide is a balanced combination of mathematical theory and the practice of programming Straightforward presentation of construction principles inlcuding: assignment axiom, sequential composition, case analysis, use of invariants and bound functions Includes a wide range of entertaining and challenging examples and exercises
Miscellaneous
from John Wiley & Sons Inc (December 2, 2003)
9780470864548 | details & prices | 352 pages | List price $50.00
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.