Logic, Rewriting, and Concurrency [electronic resource] : Essays Dedicated to Jos�e Meseguer on the Occasion of His 65th Birthday / edited by Narciso Mart�i-Oliet, Peter Csaba �Olveczky, Carolyn Talcott.
Contributor(s): Mart�i-Oliet, Narciso [editor.] | �Olveczky, Peter Csaba [editor.] | Talcott, Carolyn [editor.] | SpringerLink (Online service).
Material type:
BookSeries: Lecture Notes in Computer Science: 9200Publisher: Cham : Springer International Publishing : Imprint: Springer, 2015Edition: 1st ed. 2015.Description: XI, 634 p. 103 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783319231655.Subject(s): Computer science | Computer programming | Software engineering | Programming languages (Electronic computers) | Computer logic | Mathematical logic | Computer Science | Mathematical Logic and Formal Languages | Logics and Meanings of Programs | Programming Languages, Compilers, Interpreters | Programming Techniques | Software EngineeringAdditional physical formats: Printed edition:: No titleDDC classification: 005.131 Online resources: Click here to access online
In:
Springer eBooksSummary: This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of Jos�e 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�el�ene Kirchner and by Patrick Lincoln. The foreword of this volume adds a brief overview of some of Jos�e's many scientific achievements followed by a bibliography of papers written by Jos�e.
No physical items for this record
This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of Jos�e 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�el�ene Kirchner and by Patrick Lincoln. The foreword of this volume adds a brief overview of some of Jos�e's many scientific achievements followed by a bibliography of papers written by Jos�e.
There are no comments for this item.