Envío a todo Costa Rica por solo ₡1490 

Enviar a
Costa Rica
0
  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

Selecciona tu país

América

Europa

Resto del mundo

portada Model Checking Software. 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings (en Inglés)
Formato
Libro Físico
Editorial
Año
2023
Idioma
Inglés
N° páginas
212
Encuadernación
Tapa Blanda
Dimensiones
23.40 x 15.60 x 1.10 cm
ISBN13
9783031321580

Model Checking Software. 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings (en Inglés)

Georgiana Caltais;Christian Schilling (Autor) · Springer · Tapa Blanda

Model Checking Software. 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings (en Inglés) - Georgiana Caltais;Christian Schilling

Libro Nuevo Importado
Envío: 14 a 20 días háb.
₡ 31.570
Costos de importación y 13% IVA incluídos en el precio ✅
Libro Nuevo

Quedan 50 unidades

₡ 31.570
Llega entre el 24 Jul y el 05 Ago a Costa Rica. Seleccionar ubicación

Reseña del libro "Model Checking Software. 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings (en Inglés)"

This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26-27, 2023. 
The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: binary decision diagrams, concurrency, testing, synthesis, explicit-state model checking.

Opiniones del libro

Preguntas frecuentes sobre el libro

Todos los libros de nuestro catálogo son Originales.
El libro está escrito en Inglés.
La encuadernación de esta edición es Tapa Blanda.

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