Name: leveraging applications of formal methods, verification, and validation: 4th international symposium on leveraging applications, isola 2010, heraklion (en Inglés)
Price: 413238.00 COP
Availability: InStock
Author: Margaria, Tiziana ; Steffen, Bernhard
ISBN: 9783642165573

portada leveraging applications of formal methods, verification, and validation: 4th international symposium on leveraging applications, isola 2010, heraklion (en Inglés)

leveraging applications of formal methods, verification, and validation: 4th international symposium on leveraging applications, isola 2010, heraklion (en Inglés)

Formato

Libro Físico

Ilustrado por

Tiziana Margaria

Bernhard Steffen

Editorial

Springer

Autor

Margaria, Tiziana ; Steffen, Bernhard

Año

2010

Idioma

Inglés

N° páginas

708

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.5 x 2.8 cm

Peso

1.02 kg.

ISBN

3642165575

ISBN13

9783642165573

Categorías

Hardware de redes
Programación informática/desarrollo de software
Arquitectura y diseño lógico de ordenadores

leveraging applications of formal methods, verification, and validation: 4th international symposium on leveraging applications, isola 2010, heraklion (en Inglés)

Tiziana Margaria (Ilustrado por) · Bernhard Steffen (Ilustrado por) · Springer · Tapa Blanda

Libro Nuevo Importado

Envío: 19 a 24 días háb.

$ 826.477$ 413.238

-50%

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

Libro Nuevo

Quedan 100 unidades

$ 413.238

¡Envío Gratis! Llega entre el 13 Ago y el 24 Ago a Bogota, Cundinamarca. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "leveraging applications of formal methods, verification, and validation: 4th international symposium on leveraging applications, isola 2010, heraklion (en Inglés)"

Constitutes the refereed proceedings of the 4th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2010, held in Heraklion, Crete, Greece, in October 2010.