![Constructing Correct Software (Formal Approaches to Computing and Information](https://d3525k1ryd2155.cloudfront.net/f/206/338/9781852338206.IN.0.m.jpg)
Stock Photo: Cover May Be Different
Constructing Correct Software (Formal Approaches to Computing and Information Technology,) Paperback - 2004
by Cooke, D. John
- Used
- Good
- Paperback
Drop Ship Order
Description
NZ$131.58
FREE Shipping to USA
Standard delivery: 7 to 14 days
More Shipping Options
Ships from Bonita (California, United States)
Details
- Title Constructing Correct Software (Formal Approaches to Computing and Information Technology,)
- Author Cooke, D. John
- Binding Paperback
- Edition 2nd
- Condition Used - Good
- Pages 509
- Volumes 1
- Language ENG
- Publisher Springer
- Date 2004-11-08
- Illustrated Yes
- Features Bibliography, Illustrated, Index, Table of Contents
- Bookseller's Inventory # 1852338202.G
- ISBN 9781852338206 / 1852338202
- Weight 1.65 lbs (0.75 kg)
- Dimensions 9.16 x 6.44 x 0.97 in (23.27 x 16.36 x 2.46 cm)
- Library of Congress Catalog Number 2004050410
- Dewey Decimal Code 005.1
About Bonita California, United States
Biblio member since 2020
From the publisher
First line
It is an introduction to the science of writing programs, the engineering of software.