 |
|
|
Item Details
| Title:
|
RECENT TYPES IN DATA TYPE SPECIFICATION
9TH WORKSHOP ON SPECIFICATION OF ABSTRACT DATA TYPES JOINT WITH THE 4TH COMPASS WORKSHOP, CALDES DE MALAVELLA, SPAIN, OCTOBER 26-30, 1992 - SELECTED PAPERS |
| By: |
Fernando Orejas (Editor), Hartmut Ehrig (Editor) |
| Format: |
Paperback |
| List price:
|
£53.99 |
|
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
|
| ISBN 10: |
3540578676 |
| ISBN 13: |
9783540578673 |
| Publisher: |
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG |
| Pub. date: |
28 April, 1994 |
| Edition: |
1994 ed. |
| Series: |
Lecture Notes in Computer Science v. 785 |
| Pages: |
364 |
| Description: |
The main topics covered by this volume include object-oriented specifications, rewriting methods, specification languages and associated tools, type systems and the algebraic specification of concurrency. |
| Synopsis: |
Research in the area of abstract data types started about 20 years ago. Since then there has been continuous activity with strong influence both on the applications and the theoretical foundations of methodologies for software design. The Ninth Workshop on Specification of Abstract Data Types was held jointly with the Fourth COMPASS Workshop in Spain in 1992. The main topics covered were: object-oriented specifications, rewriting methods, specification languages and associated tools, type systems, and algebraic specification of concurrency. This volumes contains four invited papers presented at the workshop together with the final versions of 17 contributed papers selected after a careful refereeing process from 46 submissions. |
| Illustrations: |
biography |
| Publication: |
Germany |
| Imprint: |
Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Returns: |
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.
|
|
|
|