Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday: 5065 (Lecture Notes in Computer Science, 5065) - Tapa blanda

 
9783540686767: Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday: 5065 (Lecture Notes in Computer Science, 5065)
Tapa blanda
ISBN 10: 3540686762 ISBN 13: 9783540686767
Editorial: Springer Berlin Heidelberg, 2010

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

De la contraportada

This Festschrift volume, pubished in honor of Ugo Montanari on the occasion of his 65th birthday, contains 43 papers, written by friends and colleagues, all leading scientists in their own right, who congregated at a celebratory symposium held on June 12, 2008, in Pisa.

The volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo Montanari has contributed: Graph Transformation; Constraint and Logic Programming; Software Engineering; Concurrency; Models of Computation; and Software Verification. Each of these six sections starts with an introductory paper giving an account of Ugo Montanari’s contribution to the area and describing the papers in the section. The final section consists of a number of papers giving a laudation of Ugo Montanari’s numerous achievements.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Springer Berlin Heidelberg
Año de publicación
2010
Idioma
Inglés
ISBN 10 
3540686762
ISBN 13 
9783540686767
Encuadernación
Tapa blanda
Número de páginas
828
Editor
Degano Pierpaolo
Contacto del fabricante
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Alemania