4 Ebooks de Narciso Marti-Oliet
Narciso Marti-Oliet & Peter Csaba Olveczky: Logic, Rewriting, and Concurrency
This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of Jose Meseguer to honor him on the occasion …
PDF
Inglés
DRM
€56.14
Manuel Clavel & Francisco Duran: All About Maude – A High-Performance Logical Framework
This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used throughout the book to illustrate the main ideas and features of Maude, and …
PDF
Inglés
DRM
€100.12
Narciso Marti-Oliet & Miguel Palomino: Recent Trends in Algebraic Development Techniques
This book constitutes the thoroughly refereed post-conference proceedings of the 21st International Workshop on Algebraic Development Techniques, WADT 2012, held in June 2012, in Salamanca, Spain. …
PDF
Inglés
DRM
€56.24
Santiago Escobar & Narciso Marti-Oliet: Rewriting Logic and Its Applications
This book constitutes selected papers from the 12th International Workshop on Rewriting Logic and Its Applications, WRLA 2020, held in Dublin, Ireland, in April 2020.Due to the COVID-19 pandemic the …
EPUB
Inglés
DRM
€56.66
