Description:
Wiley, 2003. Paperback. Good. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.Dust jacket quality is not guaranteed.
Stock Photo: Cover May Be Different
Program Construction: Calculating Implementations from Specifications Paperback - 2003 - 1st Edition
by Backhouse
Summary
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
From the publisher
From the rear cover
The ever-increasing dependence of our lives and livelihoods on the correct functioning of computer software means that logic and program correctness are core elements of all good computer science degrees. This book presents both these topics in one self-contained text.
The focus of the book is on "correct-by-construction" program design -- the discipline of calculating programs from their specifications. Modern, calculational logic is introduced in combination with key program construction principles, such as the assignment axiom, loop invariants and bound functions. This material is intertwined with motivational discussion, programming examples and challenging problem-solving exercises, bringing the book alive for its intended audience, undergraduates in computer science and mathematics, as well as professional programmers wishing to further develop their programming skills.
The book covers the elements of logic and program correctness that form the foundations of further study --- the logical connectives and their algebraic properties, induction, quantifiers and program construction rules. Substantial examples of program construction are included. Many exercises are provided, all with detailed solutions.
The focus of the book is on "correct-by-construction" program design -- the discipline of calculating programs from their specifications. Modern, calculational logic is introduced in combination with key program construction principles, such as the assignment axiom, loop invariants and bound functions. This material is intertwined with motivational discussion, programming examples and challenging problem-solving exercises, bringing the book alive for its intended audience, undergraduates in computer science and mathematics, as well as professional programmers wishing to further develop their programming skills.
The book covers the elements of logic and program correctness that form the foundations of further study --- the logical connectives and their algebraic properties, induction, quantifiers and program construction rules. Substantial examples of program construction are included. Many exercises are provided, all with detailed solutions.
Details
- Title Program Construction: Calculating Implementations from Specifications
- Author Backhouse
- Binding Paperback
- Edition number 1st
- Edition 1
- Pages 352
- Volumes 1
- Language ENG
- Publisher John Wiley & Sons
- Date 2003-05-07
- Illustrated Yes
- Features Bibliography, Glossary, Illustrated, Index, Table of Contents
- ISBN 9780470848821 / 0470848820
- Weight 1.43 lbs (0.65 kg)
- Dimensions 9.12 x 7.5 x 0.82 in (23.16 x 19.05 x 2.08 cm)
- Library of Congress subjects Computer programming
- Library of Congress Catalog Number 2003006224
- Dewey Decimal Code 005.1
About the author
More Copies for Sale
Stock Photo: Cover May Be Different
Program Construction: Calculating Implementations from Specifications
by Backhouse, Roland
- Used
- Good
- Paperback
- Condition
- Used - Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780470848821 / 0470848820
- Quantity Available
- 1
- Seller
-
Seattle, Washington, United States
- Item Price
-
$17.98FREE shipping to USA
Show Details
Item Price
$17.98
FREE shipping to USA
Stock Photo: Cover May Be Different
Program Construction: Calculating Implementations from Specifications
by Roland Backhouse
- Used
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780470848821 / 0470848820
- Quantity Available
- 3
- Seller
-
Arlington, Oregon, United States
- Item Price
-
$18.49$3.85 shipping to USA
Show Details
Description:
Wiley, 2003-04-23. Paperback. Like New. 7x0x9. New Unread paperback *Slight shelf wear*Multiple copies available* b90
Item Price
$18.49
$3.85
shipping to USA
Stock Photo: Cover May Be Different
Program Construction: Calculating Implementations from Specifications
by Backhouse, Roland
- Used
- Paperback
- Condition
- Used: Good
- Edition
- 1
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780470848821 / 0470848820
- Quantity Available
- 1
- Seller
-
HOUSTON, Texas, United States
- Item Price
-
$25.46FREE shipping to USA
Show Details
Description:
Wiley, 2003-05-07. 1. paperback. Used: Good.
Item Price
$25.46
FREE shipping to USA
Program Construction: Calculating Implementations from Specifications
by Backhouse, Roland
- Used
- Good
- Paperback
- Condition
- Used - Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780470848821 / 0470848820
- Quantity Available
- 1
- Seller
-
GORING BY SEA, West Sussex, United Kingdom
- Item Price
-
$37.19$10.98 shipping to USA
Show Details
Description:
Paperback. Good.
Item Price
$37.19
$10.98
shipping to USA
Stock Photo: Cover May Be Different
Program Construction: Calculating Implementations from Specifications
by Backhouse, Roland
- New
- Paperback
- first
- Condition
- New
- Edition
- 1st Edition.
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780470848821 / 0470848820
- Quantity Available
- 1
- Seller
-
Highland Park, Illinois, United States
- Item Price
-
$40.00$3.00 shipping to USA
Show Details
Description:
Wiley, 2003. 1st Edition. . Soft cover. New. NEW PERFECT CONDITION DISINFECTED
Item Price
$40.00
$3.00
shipping to USA
Stock Photo: Cover May Be Different
Program Construction: Calculating Implementations from Specifications
by Backhouse, Roland
- Used
- Good
- Paperback
- Condition
- Used - Good
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780470848821 / 0470848820
- Quantity Available
- 1
- Seller
-
Newport Coast, California, United States
- Item Price
-
$46.16FREE shipping to USA
Show Details
Description:
paperback. Good. Access codes and supplements are not guaranteed with used items. May be an ex-library book.
Item Price
$46.16
FREE shipping to USA
Program Construction: Calculating Implementations from Specifications
by Roland C. Backhouse
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780470848821 / 0470848820
- Quantity Available
- 10
- Seller
-
Southport, Merseyside, United Kingdom
- Item Price
-
$61.41$12.74 shipping to USA
Show Details
Description:
Paperback / softback. New. Most texts on logic or discrete math fail to show why math and logic are fundamental tools for programmers. Program Construction illustrates the importance of math and logic to programming, providing a complete, self--contained account of the principles of logical reasoning.
Item Price
$61.41
$12.74
shipping to USA
Program Construction: Calculating Implementations from Specifications
by Roland C. Backhouse
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780470848821 / 0470848820
- Quantity Available
- 10
- Seller
-
Southport, Merseyside, United Kingdom
- Item Price
-
$70.21$12.74 shipping to USA
Show Details
Description:
Paperback / softback. New. Most texts on logic or discrete math fail to show why math and logic are fundamental tools for programmers. Program Construction illustrates the importance of math and logic to programming, providing a complete, self--contained account of the principles of logical reasoning.
Item Price
$70.21
$12.74
shipping to USA
Stock Photo: Cover May Be Different
Program Construction Calculating Implementations from Specifications
by Roland Backhouse
- New
- Paperback
- Condition
- New
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780470848821 / 0470848820
- Quantity Available
- 1
- Seller
-
Exeter, Devon, United Kingdom
- Item Price
-
$77.19$12.81 shipping to USA
Show Details
Description:
John Wiley & Sons Inc, 2003. Paperback. New. 320 pages. 9.25x7.50x0.75 inches.
Item Price
$77.19
$12.81
shipping to USA
Stock Photo: Cover May Be Different
Program Construction: Calculating Implementations from Specifications
by Backhouse, Roland
- Used
- Paperback
- Condition
- Used:Good
- Edition
- 1
- Binding
- Paperback
- ISBN 10 / ISBN 13
- 9780470848821 / 0470848820
- Quantity Available
- 1
- Seller
-
HOUSTON, Texas, United States
- Item Price
-
$78.99FREE shipping to USA
Show Details
Description:
Wiley, 2003-05-07. 1. paperback. Used:Good.
Item Price
$78.99
FREE shipping to USA