Condizione: As New. Unread book in perfect condition.
Da: preigu, Osnabrück, Germania
EUR 113,20
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Lingua: Inglese
Editore: Springer-Nature New York Inc, 2025
ISBN 10: 3031889290 ISBN 13: 9783031889295
Da: Revaluation Books, Exeter, Regno Unito
EUR 180,05
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 144 pages. 9.25x6.10x9.21 inches. In Stock.
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 128,39
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Da: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 102,25
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new. Questo è un articolo print on demand.
Lingua: Inglese
Editore: Springer, Springer Mai 2025, 2025
ISBN 10: 3031889290 ISBN 13: 9783031889295
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 128,39
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 148 pp. Englisch.
Da: moluna, Greven, Germania
EUR 109,83
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt.
Lingua: Inglese
Editore: Springer International Publishing AG, Cham, 2025
ISBN 10: 3031889290 ISBN 13: 9783031889295
Da: CitiRetail, Stevenage, Regno Unito
EUR 138,65
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: new. Paperback. 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. The contributed presentations covered a wide range of topics on the algebraic approach to system specification: from foundations of algebraic-specification languages to institutions and knowledge representation, 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. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Da: Majestic Books, Hounslow, Regno Unito
EUR 182,44
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand.
Lingua: Inglese
Editore: Springer, Springer Mai 2025, 2025
ISBN 10: 3031889290 ISBN 13: 9783031889295
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 128,39
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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. The contributed presentations covered a wide range of topics on the algebraic approach to system specification: from foundations of algebraic-specification languages to institutions and knowledge representation, 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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 148 pp. Englisch.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 183,15
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND.