Tác giả: Narciso Marti-Oliet

Ủng hộ

5 Ebooks bởi 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 o …
PDF
Anh
DRM
€57.65
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 it …
PDF
Anh
DRM
€102.27
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. Th …
PDF
Anh
DRM
€57.61
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
Anh
DRM
€57.76
Narciso Marti-Oliet & Kazuhiro Ogata: Rewriting Logic and Its Applications
This book constitutes revised selected papers from the refereed proceedings of the 15th International Workshop on Rewriting Logic and Its Applications, WRLA 2024, held in Luxembourg City, Luxembourg, …
EPUB
Anh
DRM
€64.11