Del 9200
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
533 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
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 158 kr
Del 12328
Del 14953
Del 8941
Composing Model-Based Analysis Tools
Robert Heinrich, Francisco Durán, Carolyn Talcott, Steffen Zschaler
Inbunden
1 524 kr
Del 12300
Logic, Language, and Security
Vivek Nigam, Tajana Ban Kirigin, Carolyn Talcott, Joshua Guttman, Stepan Kuznetsov, Boon Thau Loo, Mitsuhiro Okada
Häftad
657 kr
Composing Model-Based Analysis Tools
Robert Heinrich, Francisco Durán, Carolyn Talcott, Steffen Zschaler
Häftad
1 091 kr