Narciso Martí-Oliet – författare
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
729 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
819 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
589 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
709 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 2013
699 kr
Skickas inom 10-15 vardagar