Paperback. Condizione: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
Condizione: New.
PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
EUR 63,39
Quantità: 1 disponibili
Aggiungi al carrelloPAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
Condizione: As New. Unread book in perfect condition.
Condizione: NEW.
Lingua: Inglese
Editore: Springer International Publishing AG, CH, 2022
ISBN 10: 3031124405 ISBN 13: 9783031124402
Da: Rarewaves.com USA, London, LONDO, Regno Unito
EUR 75,90
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: New. 1st ed. 2022.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 63,38
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New.
Da: Chiron Media, Wallingford, Regno Unito
EUR 63,80
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 69,49
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Chiron Media, Wallingford, Regno Unito
EUR 69,19
Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 71,38
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
EUR 57,46
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: NEW.
Lingua: Inglese
Editore: Springer, Berlin|Springer International Publishing|Springer, 2022
ISBN 10: 3031124405 ISBN 13: 9783031124402
Da: moluna, Greven, Germania
EUR 73,02
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. This book constitutes selected papers from the refereed proceedings of the 14th International Workshop on Rewriting Logic and Its Applications, WRLA 2022, held in Munich, Germany, in April 2022.The 9 full papers included in this book were carefully revi.
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 74,89
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes selected papers from the refereed proceedings of the 14th International Workshop on Rewriting Logic and Its Applications, WRLA 2022, held in Munich, Germany, in April 2022.The 9 full papers included in this book were carefully reviewed and selected from 13 submissions. They focus on topics in rewriting logic and its applications. The book also contains 2 invited papers, 2 invited tutorials and an experience report.
Da: preigu, Osnabrück, Germania
EUR 68,25
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Rewriting Logic and Its Applications | 14th International Workshop, WRLA 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers | Kyungmin Bae | Taschenbuch | Lecture Notes in Computer Science | viii | Englisch | 2022 | Springer | EAN 9783031124402 | 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 International Publishing AG, CH, 2022
ISBN 10: 3031124405 ISBN 13: 9783031124402
Da: Rarewaves.com UK, London, Regno Unito
EUR 71,14
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: New. 1st ed. 2022.
Da: Buchpark, Trebbin, Germania
EUR 54,21
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: Hervorragend. Zustand: Hervorragend | Seiten: 304 | Sprache: Englisch | Produktart: Bücher | This book constitutes selected papers from the refereed proceedings of the 14th International Workshop on Rewriting Logic and Its Applications, WRLA 2022, held in Munich, Germany, in April 2022.The 9 full papers included in this book were carefully reviewed and selected from 13 submissions. They focus on topics in rewriting logic and its applications. The book also contains 2 invited papers, 2 invited tutorials and an experience report.
Da: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 62,23
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new. Questo è un articolo print on demand.
Da: Revaluation Books, Exeter, Regno Unito
EUR 78,51
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 303 pages. 9.25x6.10x9.25 inches. In Stock. This item is printed on demand.
Lingua: Inglese
Editore: Springer International Publishing Jul 2022, 2022
ISBN 10: 3031124405 ISBN 13: 9783031124402
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 74,89
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes selected papers from the refereed proceedings of the 14th International Workshop on Rewriting Logic and Its Applications, WRLA 2022, held in Munich, Germany, in April 2022.The 9 full papers included in this book were carefully reviewed and selected from 13 submissions. They focus on topics in rewriting logic and its applications. The book also contains 2 invited papers, 2 invited tutorials and an experience report. 304 pp. Englisch.
Da: Majestic Books, Hounslow, Regno Unito
EUR 97,87
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 99,66
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND.
Lingua: Inglese
Editore: Springer, Springer Jul 2022, 2022
ISBN 10: 3031124405 ISBN 13: 9783031124402
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 74,89
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -¿Invited Papers.- From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes.- Rewriting Privacy.- Invited Tutorials and Experience Report.- Canonical Narrowing with Irreducibility and SMT Constraints as a Generic Symbolic Protocol Analysis Method.- An Overview of the Maude Strategy Language and its Applications.- Teaching Formal Methods to Undergraduate Students Using Maude.- Regular Papers.- Business Processes Analysis with Resource-aware Machine Learning Scheduling in Rewriting Logic.- Modeling, Algorithm Synthesis, and Instrumentation for Co-simulation in Maude.- An Efficient Canonical Narrowing Implementation for Protocol Analysis.- Checking Sufficient Completeness by Inductive Theorem Proving.- On Ground Convergence and Completeness of Conditional Equational Program Hierarchies.- Automating Safety Proofs about Cyber-Physical Systems using Rewriting ModuloSMT.- Executable Semantics and Type Checking for Session-Based Concurrency in Maude.- Tool Papers.- Parallel Maude-NPA for Cryptographic Protocol Analysis.- Maude as a Library: An Efficient All-Purpose Programming Interface.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 304 pp. Englisch.