|
|
|
Item Details
Title:
|
FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES
FIRST INTERNATIONAL CONFERENCE, FOSSACS'98, HELD AS PART OF THE JOINT EUROPEAN CONFERENCES ON THEORY AND PRACTICE OF SOFTWARE, ETAPS'98, LISBON, PORTUGAL, MARCH 28 - APRIL 4, 1998, PROCEEDINGS |
By: |
Maurice Nivat (Editor) |
Format: |
Paperback |
List price:
|
£62.99 |
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
ISBN 10: |
3540643001 |
ISBN 13: |
9783540643005 |
Publisher: |
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG |
Pub. date: |
11 March, 1998 |
Edition: |
1998 ed. |
Series: |
Lecture Notes in Computer Science v.1378 |
Pages: |
308 |
Description: |
The 19 papers presented in this volume were selected from a total of 44 submissions. Among the topics covered are: formal specification; automata theory; term rewriting and rewriting systems; process algebras; formal language theory; type theory; event structures; and iteration theory. |
Synopsis: |
This book constitutes the refereed proceedings of the First International Conference on the Foundations of Software Science and Computation Structures, FoSSaCS'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Portugal, in March/April 1998. The 19 revised full papers presented in the book were carefully selected from a total of 44 submissions. Among the topics covered are formal specification, automata theory, term rewriting and rewriting systems, process algebras, formal language theory, type theory, event structures, and iteration theory. |
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.
|
|
|
|