Verlag: Springer-Nature New York Inc, 2024
ISBN 10: 3031659406 ISBN 13: 9783031659409
Sprache: Englisch
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 90,95
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 219 pages. 9.25x6.10x9.21 inches. In Stock.
Verlag: Springer Nature Switzerland, Springer International Publishing, 2024
ISBN 10: 3031659406 ISBN 13: 9783031659409
Sprache: Englisch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Zustand: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher.