4 Ebooks by Maribel Fernandez
Maribel Fernandez: Programming Languages and Operational Semantics
This book provides an introduction to the essential concepts in programming languages, using operational semantics techniques. It presents alternative programming language paradigms and gives an …
PDF
English
DRM
€33.73
Maribel Fernandez: Models of Computation
A Concise Introduction to Computation Models and Computability Theory provides an introduction to the essential concepts in computability, using several models of computation, from the standard …
PDF
English
DRM
€33.74
Maribel Fernandez: Logic-Based Program Synthesis and Transformation
This book constitutes the refereed proceedings of the 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, which was held during September 7-9, 2020. The 15 …
EPUB
English
DRM
€81.14
Maribel Fernandez & Christopher M. Poskitt: Graph Transformation
This book constitutes the refereed proceedings of the 16th International Conference on Graph Transformation, ICGT 2023, held as Part of STAF 2023 in Leicester, UK, in July 2023. The 14 full papers …
EPUB
English
DRM
€68.88
