Name: leveraging applications of formal methods, verification and validation: 5th international symposium, isola 2012, heraklion, crete, greece, october 15- (en Inglés)
Price: 1309.55 MXN
Availability: InStock
Author: margaria, tiziana
ISBN: 9783642340253

Selecciona tu país

América

Europa

Resto del mundo

portada leveraging applications of formal methods, verification and validation: 5th international symposium, isola 2012, heraklion, crete, greece, october 15- (en Inglés)

leveraging applications of formal methods, verification and validation: 5th international symposium, isola 2012, heraklion, crete, greece, october 15- (en Inglés)

Formato

Libro Físico

Editorial

springer

Autor

margaria, tiziana

Año

2012

Idioma

Inglés

N° páginas

617

ISBN

3642340253

ISBN13

9783642340253

Categorías

Teoría matemática de la computación
Aprendizaje automático («machine learning»)

leveraging applications of formal methods, verification and validation: 5th international symposium, isola 2012, heraklion, crete, greece, october 15- (en Inglés)

Margaria, Tiziana (Autor) · springer · Libro Físico

Libro Nuevo Importado

Envío: 13 a 18 días háb.

$ 2,182.59$ 1,309.55

-40%

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

Libro Nuevo

Quedan más de 100 unidades

$ 1,309.55

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

Agregar a lista de deseos