leveraging applications of formal methods, verification, and validation: 4th international symposium on leveraging applications, isola 2010, heraklion (en Inglés)
Margaria, Tiziana ; Steffen, Bernhard
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
$ 2,661.75
$ 4,436.25
Ahorras: $ 1,774.50
Elige la lista en la que quieres agregar tu producto o crea una nueva lista
Ir a Mis Listasleveraging applications of formal methods, verification, and validation: 4th international symposium on leveraging applications, isola 2010, heraklion (en Inglés)
Margaria, Tiziana ; Steffen, Bernhard
¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.
