Produktnummer:
188152f348797b4728acfbb909fa717602
| Themengebiete: | Designing software Equational logic and rewriting Logic and verification Software functional properties Software system structures Software verification and validation System description languages Verification by model checking |
|---|---|
| Veröffentlichungsdatum: | 02.08.2024 |
| EAN: | 9783031659409 |
| Sprache: | Englisch |
| Seitenzahl: | 209 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Martí-Oliet, Narciso Ogata, Kazuhiro |
| Verlag: | Springer International Publishing |
| Untertitel: | 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers |
Produktinformationen "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, 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.
Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen