Name: Rewriting Logic and its Applications: 15Th International Workshop, Wrla 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers (Lecture Notes in Computer Science, 14953) (en Inglés)
Price: 30433.00 CRC
Availability: InStock
Author: Ogata Kazuhiro,Martí-Oliet Narciso
ISBN: 9783031659409

portada Rewriting Logic and its Applications: 15Th International Workshop, Wrla 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers (Lecture Notes in Computer Science, 14953) (en Inglés)

Rewriting Logic and its Applications: 15Th International Workshop, Wrla 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers (Lecture Notes in Computer Science, 14953) (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Ogata Kazuhiro,Martí-Oliet Narciso

Idioma

Inglés

N° páginas

219

Encuadernación

Tapa Blanda

ISBN13

9783031659409

N° edición

2024th

Rewriting Logic and its Applications: 15Th International Workshop, Wrla 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers (Lecture Notes in Computer Science, 14953) (en Inglés)

Ogata Kazuhiro,Martí-Oliet Narciso (Autor) · Springer · Tapa Blanda

Libro Nuevo Importado

Envío: 6 a 8 días háb.

₡ 30.433

Costos de importación y 13% IVA incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

₡ 30.433

Llega entre el 10 Jul y el 16 Jul a Costa Rica. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Rewriting Logic and its Applications: 15Th International Workshop, Wrla 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers (Lecture Notes in Computer Science, 14953) (en Inglés)"

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.

Opiniones del libro

¿Leíste este libro? Inicia sesión para poder agregar tu propia evaluación.

Ver más opiniones de clientes

0% (0)
0% (0)
0% (0)
0% (0)
0% (0)

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes

Rewriting Logic and its Applications: 15Th International Workshop, Wrla 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers (Lecture Notes in Computer Science, 14953) (en Inglés) - Ogata Kazuhiro,Martí-Oliet Narciso

Reseña del libro "Rewriting Logic and its Applications: 15Th International Workshop, Wrla 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Revised Selected Papers (Lecture Notes in Computer Science, 14953) (en Inglés)"

Opiniones del libro

Preguntas frecuentes sobre el libro

¿El libro es original?

¿En qué Idioma está escrito el libro?

¿Cuál es la encuadernación de este libro?

Preguntas y respuestas sobre el libro

Opiniones sobre Buscalibre