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 162 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
535 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
- 4 för 3
Del 1
- Nyhet
Tsaren i egen hög person : hur Vladimir Putin lurade oss alla
Roman Badanin, Michail Rubin
Inbunden
349 kr
- Signerad!
- 4 för 3
- -22%
Del 3
- -30%
Del 2
- -30%
- -30%