Narciso Martí-Oliet
Author detail
5 featured books
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
OL3182864A
Overview
Catalog identity and bibliographic footprint for this author.
5 representative editions
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryRT
Recent Trends in Algebraic Development Techniques
cover - Image source: Open LibraryAA
All About Maude - A High-Performance Logical Framework
cover - RLRewriting Logic and Its Applica...Narciso Martí-Oliet
Rewriting Logic and Its Applications
no cover - FMFormal Methods : Foundations an...Narciso Martí-Oliet
Formal Methods : Foundations and Applications
no cover - LRLogic, Rewriting, and ConcurrencyNarciso Martí-Oliet
Logic, Rewriting, and Concurrency
no cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.