 |
|
|
Item Details
The item which you searched for
has been replaced by a newer edition. To view details of the newer edition
click
here
|
| Title:
|
CONSTRUCTING CORRECT SOFTWARE
THE BASICS |
| By: |
John Cooke |
| Format: |
Paperback |
| List price:
|
£29.50 |
|
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
|
| ISBN 10: |
354076156X |
| ISBN 13: |
9783540761563 |
| Publisher: |
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG |
| Pub. date: |
23 April, 1999 |
| Edition: |
1998. 2nd Printing ed. |
| Series: |
Formal Approaches to Computing & Information Technology S. |
| Pages: |
256 |
| Description: |
An explanation of the constructive approach to software development. It involves calculating an answer from the initial statement of requirements or specification, rather than "guessing" an answer and then testing whether it actually works. It uses the same basic theory as traditional techniques. |
| Synopsis: |
This is an explanation of the constructive approach to software development. It involves calculating an answer from the initial statement of requirements or specification, rather than "guessing" an answer and then testing whether it actually works. It uses the same basic theory as traditional techniques, but is quicker and easier as no "wrong answers" are obtained, and therefore no incorrect work needs to be discarded. The book is designed to be accessible to anyone with an appropriate basic background knowledge of formal methods. It is intended for fourth or fifth year undergraduate and postgraduate students on formal methods and software engineering courses, and software developers in industry who need a more pragmatic, yet fully formal, approach to software development. |
| Illustrations: |
81 figures |
| Publication: |
Germany |
| Imprint: |
Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Returns: |
Non-returnable |
|
|
|
 |
|
|
|
|
|
Little Worried Caterpillar (PB)
Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
|
|
All the Things We Carry PB
What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
|
|
|
|