Narciso Martí-Oliet – författare
Visar alla böcker från författaren Narciso Martí-Oliet. Handla med fri frakt och snabb leverans.
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
719 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
809 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
579 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
699 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
699 kr
Skickas inom 10-15 vardagar