Logic, Rewriting, and Concurrency

Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday

Nonfiction, Science & Nature, Mathematics, Logic, Computers, General Computing, Programming
Cover of the book Logic, Rewriting, and Concurrency by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319231655
Publisher: Springer International Publishing Publication: August 26, 2015
Imprint: Springer Language: English
Author:
ISBN: 9783319231655
Publisher: Springer International Publishing
Publication: August 26, 2015
Imprint: Springer
Language: English

This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of José Meseguer to honor him on the occasion of his 65th birthday.
These papers were presented at a symposium at the University of Illinois at Urbana-Champaign on September 23-25, 2015. The symposium also featured invited talks by Claude and Hélène Kirchner and by Patrick Lincoln. The foreword of this volume adds a brief overview of some of José's many scientific achievements followed by a bibliography of papers written by José.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of José Meseguer to honor him on the occasion of his 65th birthday.
These papers were presented at a symposium at the University of Illinois at Urbana-Champaign on September 23-25, 2015. The symposium also featured invited talks by Claude and Hélène Kirchner and by Patrick Lincoln. The foreword of this volume adds a brief overview of some of José's many scientific achievements followed by a bibliography of papers written by José.

More books from Springer International Publishing

Cover of the book Advanced Technologies in Practical Applications for National Security by
Cover of the book Fractal Geometry and Stochastics V by
Cover of the book QoS and Energy Management in Cognitive Radio Network by
Cover of the book Interdisciplinary Handbook of Trauma and Culture by
Cover of the book The Business of Banking by
Cover of the book Recent Advances in Computational Engineering by
Cover of the book Limits of the Secular by
Cover of the book Bond Graph Model-based Fault Diagnosis of Hybrid Systems by
Cover of the book Clinical Pharmacology: Current Topics and Case Studies by
Cover of the book Model-Driven Engineering and Software Development by
Cover of the book Introduction to Uncertainty Quantification by
Cover of the book The Land/Ocean Interactions in the Coastal Zone of West and Central Africa by
Cover of the book Rock and Romanticism by
Cover of the book Student Entrepreneurship in the Social Knowledge Economy by
Cover of the book Flow Experience by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy