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 183 kr
Logic, Rewriting, and Concurrency
Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday
AvNarciso Martí-Oliet,Peter Csaba Ölveczky
Häftad, Engelska, 2015
Del 9200 i serien Lecture Notes in Computer Science
544 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
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.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 9200
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
Carolyn Talcott, Peter Csaba Olveczky, Narciso Marti-Oliet
E-bok
2015708 kr
- Signerad!
Del 4
- Nyhet
Del 2
- -22%
Del 3
- -19%
- -22%
Del 2
- Signerad!
Del 11