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 Proceedings of the 3rd International Conference on Intelligent Technologies and Engineering Systems (ICITES2014) by
Cover of the book Reviews on Biomarker Studies in Psychiatric and Neurodegenerative Disorders by
Cover of the book Intravascular Imaging and Computer Assisted Stenting and Large-Scale Annotation of Biomedical Data and Expert Label Synthesis by
Cover of the book Pulmonary Dysfunction and Disease by
Cover of the book Web and Wireless Geographical Information Systems by
Cover of the book Advances in Acoustics and Vibration by
Cover of the book Contesting Orthodoxy in Medieval and Early Modern Europe by
Cover of the book Staged Normality in Shakespeare's England by
Cover of the book Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications by
Cover of the book EU Borders and Shifting Internal Security by
Cover of the book Advanced Research in Nanosciences for Water Technology by
Cover of the book Pentecostalism and Politics in Africa by
Cover of the book Masculinity, Labour, and Neoliberalism by
Cover of the book Intelligent Technologies for Interactive Entertainment by
Cover of the book Describing and Studying Domain-Specific Serious Games 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