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

$ 4.859$ 2.429

-50%

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

Libro Nuevo

Quedan más de 100 unidades

$ 2.429

Llega entre el 14 Ago y el 24 Ago a Montevideo, Montevideo. Seleccionar ubicación

Agregar a lista de deseos