Feria del libro importado hasta con 40% dcto  Ver más

menú

0

Mi Cuenta

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional
portada Verification, Model Checking, and Abstract Interpretation: 25th International Conference, Vmcai 2024, London, United Kingdom, January 15-16, 2024, Pro (en Inglés)
Formato
Libro Físico
Editorial
Autor
Idioma
Inglés
N° páginas
352
Encuadernación
Tapa Blanda
Dimensiones
23.4 x 15.6 x 2.0 cm
Peso
0.52 kg.
ISBN13
9783031505232
Categorías

Verification, Model Checking, and Abstract Interpretation: 25th International Conference, Vmcai 2024, London, United Kingdom, January 15-16, 2024, Pro (en Inglés)

Dimitrova, Rayna ; Lahav, Ori ; Wolff, Sebastian (Autor) · Springer · Tapa Blanda

Verification, Model Checking, and Abstract Interpretation: 25th International Conference, Vmcai 2024, London, United Kingdom, January 15-16, 2024, Pro (en Inglés) - Dimitrova, Rayna ; Lahav, Ori ; Wolff, Sebastian

Libro Nuevo

$ 100.803

$ 168.004

Ahorras: $ 67.202

40% descuento
Calcula el costo de envío
  • Estado: Nuevo

Elige la lista en la que quieres agregar tu producto o crea una nueva lista

Ir a Mis Listas
Origen: Estados Unidos (Costos de importación incluídos en el precio)
Se enviará desde nuestra bodega entre el Martes 13 de Agosto y el Martes 27 de Agosto.
Lo recibirás en cualquier lugar de Argentina entre 1 y 3 días hábiles luego del envío.

Reseña del libro "Verification, Model Checking, and Abstract Interpretation: 25th International Conference, Vmcai 2024, London, United Kingdom, January 15-16, 2024, Pro (en Inglés)"

The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, Canada, in January 2024. The 30 full papers presented in the proceedings were carefully reviewed and selected from 74 submissions. They were organized in topical sections as follows: Part I: Abstract interpretation; infinite-state systems; model checking and synthesis; SAT, SMT, and automated reasoning; Part II: Concurrency; neural networks; probabilistic and quantum programs; program and system verification; runtime verification; security and privacy.

Opiniones del libro

Ver más opiniones de clientes
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Preguntas frecuentes sobre el libro

¿El libro es original?

Todos los libros de nuestro catálogo son Originales.

¿En qué Idioma está escrito el libro?

El libro está escrito en Inglés.

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

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