Andere Kunden interessierten sich auch für
![Rewriting Logic and Its Applications]( "Rewriting Logic and Its Applications")
Rewriting Logic and Its Applications36,99 €![Software Engineering and Formal Methods]( "Software Engineering and Formal Methods")
Software Engineering and Formal Methods37,99 €![Application and Theory of Petri Nets and Concurrency]( "Application and Theory of Petri Nets and Concurrency")
Application and Theory of Petri Nets and Concurrency37,99 €![Concurrent Objects and Beyond]( "Concurrent Objects and Beyond")
Concurrent Objects and Beyond37,99 €![Application and Theory of Petri Nets and Concurrency]( "Application and Theory of Petri Nets and Concurrency")
Application and Theory of Petri Nets and Concurrency37,99 €![NASA Formal Methods]( "NASA Formal Methods")
NASA Formal Methods37,99 €![Automated Technology for Verification and Analysis]( "Automated Technology for Verification and Analysis")
Automated Technology for Verification and Analysis37,99 €
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é.
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é.