Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings - Lecture Notes in Computer Science - Tevfik Bultan - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642243714 - 21 de septiembre de 2011
En caso de que portada y título no coincidan, el título será el correcto

Tevfik Bultan
Automated Technology for Verification and Analysis: 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011, Proceedings - Lecture Notes in Computer Science

Precio
€ 58,49

Pedido desde almacén remoto

Entrega prevista 12 - 21 de ene. de 2026
Los regalos de Navidad se podrán canjear hasta el 31 de enero

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

Constitutes the refereed proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, held in Taipei, Taiwan, in October 2011. This book includes the papers addressing theoretical and practical aspects of automated analysis, verification and synthesis.

548 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 21 de septiembre de 2011
ISBN13 9783642243714
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 532
Dimensiones 155 × 235 × 30 mm   ·   771 g
Lengua Francés  
Editor Bultan, Tevfik
Editor Hsiung, Pao-Ann

Mas por Tevfik Bultan

Mostrar todo

Ver todo de Tevfik Bultan ( Ej. Paperback Book y Hardcover Book )