9783031124402 - rewriting logic and its applications: 14th international workshop, wrla 2022, munich, germany, april 2–3, 2022, revised selected papers: 13252 (lecture notes in computer science) (25 resultados)
- Tapa blanda
Librería: ThriftBooks-Dallas, Dallas, Estados Unidos de AmericaThriftBooks-Dallas
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 59,34
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
- Tapa blanda
Librería: GreatBookPrices, Columbia, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 64,73
Envío por EUR 2,27Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New.
- Tapa blanda
Librería: PBShop.store US, Wood Dale, Estados Unidos de AmericaPBShop.store US
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 67,08
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000.
- Tapa blanda
Librería: PBShop.store UK, Fairford, Reino UnidoPBShop.store UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 63,24
Envío por EUR 4,82Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000.
- Tapa blanda
Librería: GreatBookPrices, Columbia, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 69,11
Envío por EUR 2,27Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa blanda
Librería: Speedyhen LLC, Hialeah, Estados Unidos de AmericaSpeedyhen LLC
Contactar con el vendedorVendedor de 3 estrellasCondición: Nuevo
EUR 72,50
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 2 disponibles
Condición: NEW.
- Tapa blanda
Librería: Rarewaves.com USA, London, Reino UnidoRarewaves.com USA
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 76,19
Gastos de envío gratisSe envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: New. 1st ed. 2022.
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 63,23
Envío por EUR 17,37Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: New.
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 69,23
Envío por EUR 13,87Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
- Tapa blanda
Librería: Chiron Media, Wallingford, Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 64,03
Envío por EUR 17,94Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: New.
- Tapa blanda
Librería: Chiron Media, Wallingford, Reino UnidoChiron Media
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 69,44
Envío por EUR 17,94Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
PF. Condición: New.
- Tapa blanda
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 71,65
Envío por EUR 17,37Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: As New. Unread book in perfect condition.
- Tapa blanda
Librería: Speedyhen, Hertfordshire, Reino UnidoSpeedyhen
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 57,66
Envío por EUR 47,47Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: NEW.
- Tapa blanda
Librería: Books Puddle, New York, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 106,60
Envío por EUR 3,44Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New.
Idioma: Inglés
Editorial: Springer, Berlin|Springer International Publishing|Springer 2022
- Tapa blanda
Librería: moluna, Greven, Alemaniamoluna
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 73,02
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: 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.
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 74,89
Envío por EUR 62,32Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: 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.
- Tapa blanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 68,25
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. Condición: 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: Spring…er Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Tapa blanda
Librería: Rarewaves.com UK, London, Reino UnidoRarewaves.com UK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 71,39
Envío por EUR 75,26Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: New. 1st ed. 2022.
- Tapa blanda
Librería: Buchpark, Trebbin, AlemaniaBuchpark
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado
EUR 54,21
Envío por EUR 105,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: 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 th…is 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.
- Tapa blanda
- Impresión bajo demanda
Librería: Brook Bookstore On Demand, Napoli, ItaliaBrook Bookstore On Demand
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 62,23
Envío por EUR 5,50Se envía de Italia a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: new. Questo è un articolo print on demand.
- Tapa blanda
- Impresión bajo demanda
Librería: Revaluation Books, Exeter, Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 78,79
Envío por EUR 14,47Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Brand New. 303 pages. 9.25x6.10x9.25 inches. In Stock. This item is printed on demand.
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 74,89
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: 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 boo…k 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.
- Tapa blanda
- Impresión bajo demanda
Librería: Majestic Books, Hounslow, Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 98,26
Envío por EUR 7,53Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. Print on Demand.
- Tapa blanda
- Impresión bajo demanda
Librería: Biblios, frankfurt am main, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 99,66
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. PRINT ON DEMAND.
- Tapa blanda
- Impresión bajo demanda
Librería: buchversandmimpf2000, Emtmannsberg, Alemaniabuchversandmimpf2000
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 74,89
Envío por EUR 60,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: 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 Sy…mbolic 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.
