 |
|
|
Item Details
| Title:
|
CONCURRENCY, GRAPHS AND MODELS
ESSAYS DEDICATED TO UGO MONTANARI ON THE OCCASION OF HIS 65TH BIRTHDAY |
| By: |
Pierpaolo Degano (Editor), Rocco De Nicola (Editor), Jose Meseguer (Editor) |
| Format: |
Paperback |
| List price:
|
£108.00 |
|
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
|
| ISBN 10: |
3540686762 |
| ISBN 13: |
9783540686767 |
| Publisher: |
SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG |
| Pub. date: |
3 June, 2008 |
| Edition: |
2008 ed. |
| Series: |
Lecture Notes in Computer Science / Theoretical Computer Science and General v. 5065 |
| Pages: |
825 |
| Description: |
This Festschrift volume, published in honor of Ugo Montanari on the occasion of his 65th birthday, contains 43 papers that examine the research areas to which he has contributed, from logic programming to software engineering, as well as his many achievements. |
| Synopsis: |
This volume contains the 43 papers written by close collaboratorsand friends of UgoMontanariincelebrationofhis65thbirthday.Insomesense,thevolumeisa re?ection, with gratitude and admiration, on Ugo's highly creative, remarkably fruitful and intellectually generous life, which is thriving as strongly as ever. It provides a snapshot of the manifold research ideas that have been deeply in?uenced by Ugo's work. In a sense the book gives a vantage point from which to foresee further developments to come: by Ugo himself, and by many other people encouraged and stimulated by his friendship and example. The volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo has contributed. Each of these six sections starts with a contribution by one of Ugo's closer collaborators providing an account of Ugo's contribution to the area and brie?y describing the papers in the section. The six scienti?c sections and the respective editors are the following: - Graph Transformation (Andrea Corradini) - Constraint and Logic Programming (Francesca Rossi) - Software Engineering (Stefania Gnesi) - Concurrency (Roberto Gorrieri) - Models of Computation (Roberto Bruni and Vladimiro Sassone) - Software Veri?cation (Gian-Luigi Ferrari) The ?nal section,edited by Fabio Gadducci,contains somelaudatio or memories of working experiences with Ugo, as well as three more technical contributions. |
| 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.
|
|
|
|