Narciso Martí-Oliet – författare
Visar alla böcker från författaren Narciso Martí-Oliet.
5 produkter
Rewriting Logic and Its Applications
13th International Workshop, WRLA 2020, Virtual Event, October 20-22, 2020, Revised Selected Papers
Av Santiago Escobar, Narciso Martí-Oliet
Häftad, 2020
729 kr
Lägg i varukorg
Rewriting Logic and Its Applications
15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers
Av Kazuhiro Ogata, Narciso Martí-Oliet
Häftad, 2024
819 kr
Lägg i varukorg
Formal Methods: Foundations and Applications
17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
Av Christiano Braga, Narciso Martí-Oliet
Häftad, 2015
589 kr
Lägg i varukorg
Logic, Rewriting, and Concurrency
Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday
Av Narciso Martí-Oliet, Peter Csaba Ölveczky m. fl.
Häftad, 2015
709 kr
Lägg i varukorg
Recent Trends in Algebraic Development Techniques
21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Av Narciso Martí-Oliet, Miguel Palomino
Häftad, 2013
709 kr
Lägg i varukorg