Narciso Martí-Oliet

Identifiers

Open LibraryOL3182864A

Top Subjects

Computer science (2)
Computer software, development (2)
Human information processing (1)
Logic (1)

Books by Narciso Martí-Oliet

Total count: 5

All about Maude - a High-Performance Logical FrameworkHow to Specify, Program, and Verify Systems in Rewriting Logic

Springer London, Limited2007-01-01
Recent Trends in Algebraic Development Techniques21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers

Springer2013-04-13
Formal Methods : Foundations and Applications17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

Springer International Publishing AG2015-01-01
Logic, Rewriting, and ConcurrencyEssays Dedicated to José Meseguer on the Occasion of His 65th Birthday

Springer London, Limited2015-01-01
Rewriting Logic and Its Applications15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers

Springer2024-01-01