Name: Symbolic Computation in Software Science: 10Th International Symposium, Scss 2024, Tokyo, Japan, August 28–30, 2024, Proceedings (Lecture Notes in Computer Science, 14991) (en Inglés)
Price: 2409.23 MXN
Availability: InStock
Author: Watt Stephen M.,Ida Tetsuo
ISBN: 9783031690419

portada Symbolic Computation in Software Science: 10Th International Symposium, Scss 2024, Tokyo, Japan, August 28–30, 2024, Proceedings (Lecture Notes in Computer Science, 14991) (en Inglés)

Symbolic Computation in Software Science: 10Th International Symposium, Scss 2024, Tokyo, Japan, August 28–30, 2024, Proceedings (Lecture Notes in Computer Science, 14991) (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Watt Stephen M.,Ida Tetsuo

Idioma

Inglés

N° páginas

129

Encuadernación

Tapa Blanda

ISBN13

9783031690419

N° edición

2024th

Symbolic Computation in Software Science: 10Th International Symposium, Scss 2024, Tokyo, Japan, August 28–30, 2024, Proceedings (Lecture Notes in Computer Science, 14991) (en Inglés)

Watt Stephen M.,Ida Tetsuo (Autor) · Springer · Tapa Blanda

Libro Nuevo Importado

Envío: 17 a 22 días háb.

$ 4,015.38$ 2,409.23

-40%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 2,409.23

¡Envío Gratis! Llega entre el 20 Ago y el 28 Ago a CUAUHTÉMOC, Ciudad de México. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Symbolic Computation in Software Science: 10Th International Symposium, Scss 2024, Tokyo, Japan, August 28–30, 2024, Proceedings (Lecture Notes in Computer Science, 14991) (en Inglés)"

This book constitutes the refereed proceedings of the 10th International Symposium on Symbolic Computation in Software Science, SCSS 2024, which took place in Tokyo, Japan, during August 28-30, 2024. The 7 full papers were carefully reviewed and selected from 25 submissions. The papers presented emphasize formal analysis and proof of theorems invarious applications, foundational work on rewrite systems, and sound handling of branches of inverse functions.

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

Symbolic Computation in Software Science: 10Th International Symposium, Scss 2024, Tokyo, Japan, August 28–30, 2024, Proceedings (Lecture Notes in Computer Science, 14991) (en Inglés) - Watt Stephen M.,Ida Tetsuo

Reseña del libro "Symbolic Computation in Software Science: 10Th International Symposium, Scss 2024, Tokyo, Japan, August 28–30, 2024, Proceedings (Lecture Notes in Computer Science, 14991) (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