Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings - Programming and Software Engineering - Kedar S Namjoshi - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540755951 - 9 de octubre de 2007
En caso de que portada y título no coincidan, el título será el correcto

Kedar S Namjoshi
Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings - Programming and Software Engineering 2007 edition

Precio
$ 55,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 14 - 27 de jul.

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

The 29 revised full papers presented together with seven short papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects;

570 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 9 de octubre de 2007
ISBN13 9783540755951
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 570
Dimensiones 155 × 235 × 30 mm   ·   884 g
Lengua Francés  
Editor Higashino, Teruo
Editor Namjoshi, Kedar
Editor Okamura, Yoshio
Editor Yoneda, Tomohiro

Mere med samme udgiver

Ver todo de Kedar S Namjoshi ( Ej. Paperback Book )