Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings - Programming and Software Engineering - Sungdeok Cha - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783540883869 - 6 de octubre de 2008
En caso de que portada y título no coincidan, el título será el correcto

Sungdeok Cha
Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings - Programming and Software Engineering 2008 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 papers are organized in topical sections on model checking, software verification, decision procedures, linear-time analysis, tool demonstration papers, timed and stochastic systems, theory, and short papers.

430 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 6 de octubre de 2008
ISBN13 9783540883869
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 430
Dimensiones 155 × 235 × 23 mm   ·   657 g
Lengua Francés  
Editor Cha, Sungdeok
Editor Choi, Jin-Young
Editor Kim, Moonzoo
Editor Viswanathan, Mahesh

Mere med samme udgiver

Ver todo de Sungdeok Cha ( Ej. Paperback Book )