Main centres: | 1-3 business days |
Regional areas: | 3-4 business days |
Remote areas: | 3-5 business days |
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.
TITLE: The Correctness-by-Construction Approach to Programming
AUTHOR: Derrick G. Kourie
SKU: 9783642279188
PUBLISHER: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
DATE PUBLISHED: 11/04/2012
PLACE PUBLISHED: Germany
PAGES: 266
BINDING: Hardback
LANGUAGE: English
DIMENSIONS: 155 mm x 235 mm
WEIGHT: 584 gr