Narciso Martí-Oliet - Böcker
Visar alla böcker från författaren Narciso Martí-Oliet.
5 produkter
5 produkter
Del 12328 - Lecture Notes in Computer Science
Rewriting Logic and Its Applications
13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers
Häftad, Engelska, 2020
709 kr
Skickas inom 10-15 vardagar
Del 14953 - Lecture Notes in Computer Science
Rewriting Logic and Its Applications
15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers
Häftad, Engelska, 2024
799 kr
Skickas inom 10-15 vardagar
Del 8941 - Lecture Notes in Computer Science
Formal Methods: Foundations and Applications
17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
Häftad, Engelska, 2015
569 kr
Skickas inom 10-15 vardagar
Del 9200 - Lecture Notes in Computer Science
Logic, Rewriting, and Concurrency
Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday
Häftad, Engelska, 2015
689 kr
Skickas inom 10-15 vardagar
Recent Trends in Algebraic Development Techniques
21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Häftad, Engelska, 2013
689 kr
Skickas inom 10-15 vardagar