Home/
Rewriting Logic and Its Applications: 15th International Workshop, Wrla 2024, Luxembourg City, Luxem
Rewriting Logic and Its Applications: 15th International Workshop, Wrla 2024, Luxembourg City, Luxem
No customer reviews yet
ISBN 9783031659409
Springer
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.
Product details
BrandSpringer
Pub dateAug 2, 2024
ISBN-103031659406
ISBN-139783031659409
LanguageEnglish
Dimensions9.21 × 0.46 × 6.14 in
Weight1 lb
Last updated 2026-08-06 17:45
$67.86
In stock — ships in 24 hours with free tracking
Delivery by Thursday, October 29, 2026
Sign in to Add to Saved list
Fast checkout
Pay with Apple Pay or Google Pay when available.
Payment received
We are registering your order now. Please stay on this page while we redirect you to the confirmation page.
Free delivery on orders over $35.
15-day returns. Any reason.
Secure checkout. We never store card details.
Readers who bought this also bought
More from Software Development & Engineering - General