- Signerad!
Rewriting Logic and Its Applications
15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers
AvNarciso Marti-Oliet,Kazuhiro Ogata
E-bok
Engelska, 2024791 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet
Beskrivning
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, during April 6–7, 2024.
The 11 full papers included in this book were carefully reviewed and selected from 16 submissions. They focus on several topics, e.g., foundations; rewriting as a logical and semantic framework; rewriting languages; verification techniques; applications; and education.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
- Signerad!
Del 2
SIGNERAD - Kopians hämnd
IJustWantToBeCool, Joel Adolphson, Emil Ejdemo Beer, Victor Beer
Inbunden, 2026
189 kr
Del 14953
- -20%
Allt jag önskar att jag hade vetat om min kropp : Det ingen berättade men alla borde känna till
Monika Björn
Inbunden, 2026
239 kr299 kr
- -19%
All About Maude - A High-Performance Logical Framework
Carolyn Talcott, Jose Meseguer, Narciso Marti-Oliet, Patrick Lincoln, Steven Eker, Francisco Duran, Manuel Clavel
E-bok
20071 250 kr
- Signerad!
SIGNERAD - Enkel privatekonomi : Din praktiska guide till livets alla pengafrågor
Annifrid Lilja, Björn Lilja
Kartonnage, 2026
229 kr
Recent Trends in Algebraic Development Techniques
Miguel Palomino, Narciso Marti-Oliet
E-bok
2013687 kr
Del 15394
Formal Methods and Software Engineering
Kazuhiro Ogata, Dominique Mery, Meng Sun, Shaoying Liu
Häftad, 2024
833 kr