Name: leveraging applications of formal methods, verification and validation: 5th international symposium, isola 2012, heraklion, crete, greece, october 15- (en Inglés)
Price: 117743.00 ARS
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: 23 a 29 días háb.

$ 235.486$ 117.743

-50%

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

Libro Nuevo

Quedan 100 unidades

$ 117.743

Llega entre el 27 Ago y el 04 Sep a C.A.B.A., Ciudad Autónoma de Buenos Aires. Seleccionar ubicación

Agregar a lista de deseos