|
|
|
Item Details
Title:
|
CONSTRUCTING CORRECT SOFTWARE
|
By: |
John Cooke |
Format: |
Paperback |
List price:
|
£81.00 |
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
ISBN 10: |
1852338202 |
ISBN 13: |
9781852338206 |
Publisher: |
SPRINGER LONDON LTD |
Pub. date: |
25 October, 2004 |
Edition: |
2nd ed. 2005 |
Series: |
Formal Approaches to Computing & Information Technology S. |
Pages: |
509 |
Description: |
Illustrates and explains the constructive approach to software development. This book uses the same basic theory as traditional techniques, but is much quicker and easier as no "wrong answers" are obtained. It is intended for 3rd/4th year undergraduate and postgraduate and software developers in industry. |
Synopsis: |
Links constructive software development to traditional problem-solving methods Not dependent on any particular specification language, but is based instead on their common core |
Illustrations: |
100 black & white illustrations, biography |
Publication: |
UK |
Imprint: |
Springer London Ltd |
Returns: |
Non-returnable |
|
|
|
|
Ramadan and Eid al-Fitr
A celebratory, inclusive and educational exploration of Ramadan and Eid al-Fitr for both children that celebrate and children who want to understand and appreciate their peers who do.
|
|
|
|
|
|
|
|
|
|
|