Data & IT
Pocket
Rewriting Logic and Its Applications
Kazuhiro Ogata • Narciso Martí-Oliet • Narciso Marti-Oliet
849:-
Uppskattad leveranstid 7-12 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
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.
- Format: Pocket/Paperback
- ISBN: 9783031659409
- Språk: Engelska
- Antal sidor: 209
- Utgivningsdatum: 2024-08-02
- Förlag: Springer International Publishing AG