ISBN: 9783031889295 - recent trends in algebraic development techniques: 27th ifip wg 1.3 international workshop, wadt 2024, enschede, the netherlands, july 8, 2024, ... notes in computer science, band 15587) (3 Ergebnisse)

Taschenbuch. Zustand: Neu. Recent Trends in Algebraic Development Techniques | 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers | Ionu¿ ¿U¿U | Taschenbuch | Lecture Notes in Computer Science | ix | Englisch | 2025 | Springer | EAN 9783031889295 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-conference proceedings of the 27th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2024, held in Enschede, The Netherlands, on July 8, 2024.The 6 full papers presented in this volume were carefully reviewed and selected from 11 submissions. Thecontributed presentations covered a wide range of topics on the algebraic approach to system specification: from foundations of algebraic-specification languages to institutions and knowledgerepresentation, to graph transformations, rewrite rules, process algebra, and bialgebraic frameworks, to many-logics modal systems and quantum process calculi, and to several applications to code synthesis and maintainability. …

Paperback. Zustand: Brand New. 144 pages. 9.25x6.10x9.21 inches. In Stock.