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

₡ 25.669

Costos de importación y 13% IVA incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

₡ 25.669

Llega entre el 17 Ago y el 21 Ago a Costa Rica. Seleccionar ubicación

Agregar a lista de deseos