Name: automated technology for verification and analysis: 9th international symposium, atva 2011, taipei, taiwan, october 11-14, 2011, proceedings (en Inglés)
Price: 58.89 EUR
Availability: InStock
Author: bultan, tevfik
ISBN: 9783642243714

Selecciona tu país

América

Europa

Resto del mundo

portada automated technology for verification and analysis: 9th international symposium, atva 2011, taipei, taiwan, october 11-14, 2011, proceedings (en Inglés)

automated technology for verification and analysis: 9th international symposium, atva 2011, taipei, taiwan, october 11-14, 2011, proceedings (en Inglés)

Formato

Libro Físico

Editorial

springer

Autor

bultan, tevfik

Año

2011

Idioma

Inglés

N° páginas

532

ISBN

3642243711

ISBN13

9783642243714

Categorías

Programación informática/desarrollo de software

automated technology for verification and analysis: 9th international symposium, atva 2011, taipei, taiwan, october 11-14, 2011, proceedings (en Inglés)

Bultan, Tevfik (Autor) · springer · Libro Físico

Libro Nuevo Importado

Envío: 12 a 17 días háb.

65,44 €58,89 €

-10%

Libro Nuevo

Quedan más de 100 unidades

58,89 €

Llega entre el 14 Ago y el 25 Ago a Provincia de Madrid. Seleccionar ubicación

Agregar a lista de deseos