All About Maude - A High-Performance Logical Framework
Carolyn Talcott, Jose Meseguer, Narciso Marti-Oliet, Patrick Lincoln, Steven Eker, Francisco Duran, Manuel Clavel
E-bok
20071 250 kr
Logic, Rewriting, and Concurrency
Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday
AvCarolyn Talcott,Peter Csaba Olveczky
E-bok
PDF, Engelska, 2015734 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Beskrivning
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é.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
De säger att jag ska dö nu : ett halvt liv för tidigt
Madeleine Erichsen, Liselotte Holmgren
Häftad, 2026
263 kr
All About Maude - A High-Performance Logical Framework
Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn Talcott
1 181 kr
Del 9200
Logic, Rewriting, and Concurrency
Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott
Häftad, 2015
543 kr
- Nyhet
Del 8
- -19%
- Nyhet
- Signerad!
- 4 för 3
- -17%
Del 2