Articoli correlati a Concurrency, Graphs and Models: Essays Dedicated to...
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday: 5065 - Brossura
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Dalla quarta di copertina
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Concurrency, Graphs and Models: Essays Dedicated to...
Foto dell'editore
Concurrency, Graphs and Models
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 832 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Codice articolo 7562569
Compra nuovo
EUR 54,67
Spedizione EUR 7,58
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Concurrency, Graphs and Models
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 832. Codice articolo 26318102
Compra nuovo
EUR 60,07
Spedizione EUR 3,48
Spedito in U.S.A.
Spedito in U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Concurrency, Graphs and Models
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 832. Codice articolo 18318108
Compra nuovo
EUR 56,52
Spedizione EUR 9,95
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Concurrency, Graphs and Models
Editore:
Springer Berlin Heidelberg Jun 2008, 2008
ISBN 10: 3540686762
ISBN 13: 9783540686767
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 832 pp. Englisch. Codice articolo 9783540686767
Compra nuovo
EUR 106,99
Spedizione EUR 23,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday (Lecture Notes in Computer Science, 5065)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In English. Codice articolo ria9783540686767_new
Compra nuovo
EUR 116,44
Spedizione EUR 17,43
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Concurrency, Graphs and Models
Editore:
Springer Berlin Heidelberg, 2008
ISBN 10: 3540686762
ISBN 13: 9783540686767
Nuovo
Kartoniert / Broschiert
Da: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Kartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Ugo Montanari in a Nutshell.- Ugo Montanari in a Nutshell.- Graph Transformation.- Ugo Montanari and Graph Transformation.- Unfolding Graph Transformation Systems: Theory and Applications to Verification.- Graph-Based Design and Analysis of Dynamic Software. Codice articolo 4898647
Compra nuovo
EUR 92,27
Spedizione EUR 48,99
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Concurrency, Graphs and Models | Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
Da: preigu, Osnabrück, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Concurrency, Graphs and Models | Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday | Pierpaolo Degano (u. a.) | Taschenbuch | xv | Englisch | 2008 | Springer | EAN 9783540686767 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Codice articolo 101803361
Compra nuovo
EUR 95,25
Spedizione EUR 70,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 5 disponibili
Immagini fornite dal venditore
Concurrency, Graphs and Models
Editore:
Springer, Springer Jun 2008, 2008
ISBN 10: 3540686762
ISBN 13: 9783540686767
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Ugo Montanari in a Nutshell.- Ugo Montanari in a Nutshell.- Graph Transformation.- Ugo Montanari and Graph Transformation.- Unfolding Graph Transformation Systems: Theory and Applications to Verification.- Graph-Based Design and Analysis of Dynamic Software Architectures.- Graph Transformation Units - An Overview.- Synchronous Multiparty Synchronizations and Transactions.- Transformations in Reconfigurable Place/Transition Systems.- Explicit State Model Checking for Graph Grammars.- Linear-Ordered Graph Grammars: Applications to Distributed Systems Design.- Constraint and Logic Programming.- Constraint and Logic Programming: Ugo Montanari's Main Contributions and Introduction to the Volume Section.- Semiring-Based Soft Constraints.- Declarative Debugging of Membership Equational Logic Specifications.- SPREADSPACES: Mathematically-Intelligent Graphical Spreadsheets.- An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy.- AND/OR Multi-valued Decision Diagrams for Constraint Networks.- Software Engineering.- Software Engineering: Ugo Montanari's Main Contributions and Introduction to the Section.- Modeling Business within a UML-Based Rigorous Software Development Approach.- From Domain to Requirements.- Business Process Modeling for Organizational Knowledge Management.- Event-Based Service Coordination.- Dynamically Evolvable Dependable Software: From Oxymoron to Reality.- The Temporal Logic of Rewriting: A Gentle Introduction.- A Heterogeneous Approach to UML Semantics.- Concurrency Theory.- Ugo Montanari and Concurrency Theory.- On the Synthesis of Zero-Safe Nets.- A Note on Persistent Petri Nets.- Secure Data Flow in a Calculus for Context Awareness.- On Beta-Binders Communications.- On the AsynchronousNature of the Asynchronous -Calculus.- StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes.- Models of Computation.- Models of Computation: A Tribute to Ugo Montanari's Vision.- Automatic Mutual Exclusion and Atomicity Checks.- Petri Nets, Discrete Physics, and Distributed Quantum Computation.- A Category of Explicit Fusions.- What Do Semantics Matter When the Meat Is Overcooked .- Calculating Colimits Compositionally.- Observability Concepts in Abstract Data Type Specification, 30 Years Later.- Software Verification.- Ugo Montanari and Software Verification.- History Dependent Automata for Service Compatibility.- A Type System for Client Progress in a Service-Oriented Calculus.- Session and Union Types for Object Oriented Programming.- The Pairing of Contracts and Session Types.- Specifying and Analysing SOC Applications with COWS.- Approximating Behaviors in Embedded System Design.- Friends.- Ugo Montanari and Friends.- Calculating with Automata.- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra.- Some Theorems Concerning the Core Function.- The Seventies.- Categories, Software and Meaning.- A Roman Senator.- The Semantics of Ugo Montanari.- Abstraction for a Career in Industry: A Praise for Ugo's 65 Years.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 832 pp. Englisch. Codice articolo 9783540686767
Compra nuovo
EUR 106,99
Spedizione EUR 60,00
Spedito da Germania a U.S.A.
Spedito da Germania a U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
Editore:
Springer-Verlag New York Inc, 2008
ISBN 10: 3540686762
ISBN 13: 9783540686767
Nuovo
Paperback
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 1st edition. 810 pages. 9.50x6.25x1.00 inches. In Stock. Codice articolo x-3540686762
Compra nuovo
EUR 161,76
Spedizione EUR 17,50
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday (Lecture Notes in Computer Science)
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
Paperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book. Codice articolo ERICA79035406867626
Compra usato
EUR 162,25
Spedizione EUR 29,17
Spedito da Regno Unito a U.S.A.
Spedito da Regno Unito a U.S.A.
Quantità: 1 disponibili