 |
|
|
Item Details
| Title:
|
FORMAL SPECIFICATION USING Z.
|
| By: |
David Lightfoot |
| Format: |
Paperback |
| List price:
|
£17.99 |
|
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
|
| ISBN 10: |
0333544080 |
| ISBN 13: |
9780333544082 |
| Publisher: |
PALGRAVE MACMILLAN |
| Pub. date: |
26 April, 1991 |
| Series: |
Computer Science S. |
| Pages: |
176 |
| Description: |
Aims to help non-mathematicians learn about formal specification using the Z language. The book contains explanations of the mathematics of Z, interleaved with the development of an example specification. Chapters covering mathematics end with a summary and a set of exercises. |
| Synopsis: |
This book aims to help readers learn about formal specification using the Z language. The author argues that formal specification offers benefits to the developers of computer systems and that it will make a contribution towards improving their quality. The book is primarily aimed at those who are not as familiar with mathematics as the mathematician and in this respect certain aspects of the explanations have been kept more informal and given less emphasis than others. The chapters of this book contain explanations of the mathematics of Z, interleaved with the development of an example specification. The chapters covering mathematics finish with a summary of the notion introduced in the chapter and a set of exercises. Sample solutions to selected exercises are included in the appendix. |
| Illustrations: |
appendices, index |
| Publication: |
UK |
| Imprint: |
Palgrave Macmillan |
| 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.
|
|
|
|