![Constructing Correct Software (Formal Approaches to Computing and Information](https://d3525k1ryd2155.cloudfront.net/f/206/338/9781852338206.IN.0.m.jpg)
Constructing Correct Software (Formal Approaches to Computing and Information Technology,) Paperback - 2004
by Cooke, D. John
- Used
Description
Standard delivery: 14 to 21 days
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 # Z1-B-028-01837
- 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 Phatpocket Limited Essex, United Kingdom
Phatpocket Limited is a world class secondhand bookstore located in the Hertfordshire countryside in the United Kingdom. We specialize in textbooks across an enormous variety of subjects. We aim to provide a low cost source of high quality textbooks to the academic community. We also have a sizable collection of rare and collectible books.
We are dedicated to providing our customers with the highest standard of customer service in the bookselling business.
Books are usually shipped in 48 hours or less. All of our books have a 14 day no hassle money back guarantee unless stated otherwise in the book's description. Item must be returned in the exact same condition that it was received. Through our work with The Rainbow Centre and other Charity Partners, we have already given hundreds of young people in Sri Lanka and Africa the vital chance to get an education.