Hoppa till sidans huvudinnehåll

Narciso Martí-Oliet – författare

Visar alla böcker från författaren .
5 produkter
Santiago Escobar, Narciso Martí-Oliet - Rewriting Logic and Its Applications, Häftad
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

729 kr

Skickas inom 10-15 vardagar

Kazuhiro Ogata, Narciso Martí-Oliet - Rewriting Logic and Its Applications, Häftad
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

819 kr

Skickas inom 10-15 vardagar

Christiano Braga, Narciso Martí-Oliet - Formal Methods: Foundations and Applications, Häftad
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

579 kr

Skickas inom 10-15 vardagar

Narciso Martí-Oliet, Peter Csaba Ölveczky, Carolyn Talcott - Logic, Rewriting, and Concurrency, Häftad
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

709 kr

Skickas inom 10-15 vardagar

Narciso Martí-Oliet, Miguel Palomino - Recent Trends in Algebraic Development Techniques, Häftad

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

709 kr

Skickas inom 10-15 vardagar