Narciso Martí-Oliet – författare

Visar alla böcker från författaren Narciso Martí-Oliet.

5 produkter

Kategorier

5 produkter

Del 12328
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
AvSantiago Escobar,Narciso Martí-Oliet
Häftad, Engelska, 2020
739 kr
Skickas inom 10-15 vardagar
Del 14953
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
AvKazuhiro Ogata,Narciso Martí-Oliet
Häftad, Engelska, 2024
839 kr
Skickas inom 10-15 vardagar
Del 8941
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
AvChristiano Braga,Narciso Martí-Oliet
Häftad, Engelska, 2015
599 kr
Skickas inom 10-15 vardagar
Del 9200
Del 9200 - Lecture Notes in Computer Science
Logic, Rewriting, and Concurrency
Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday
AvNarciso Martí-Oliet,Peter Csaba Ölveczkym. fl.
Häftad, Engelska, 2015
719 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
AvNarciso Martí-Oliet,Miguel Palomino
Häftad, Engelska, 2013
719 kr
Skickas inom 10-15 vardagar