Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26--April 3, 2011, Proc - Parosh Aziz Abdulla - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642198342 - 18 de marzo de 2011
En caso de que portada y título no coincidan, el título será el correcto

Parosh Aziz Abdulla
Tools and Algorithms for the Construction and Analysis of Systems: 17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrucken, Germany, March 26--April 3, 2011, Proc

Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión
Recibe notificaciones sobre nuevos lanzamientos de Parosh Aziz Abdulla

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

Aún no valorado

This book constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbrucken, Germany, March 26-April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software.

410 pages, 104 black & white illustrations, 30 colour illustrations, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 18 de marzo de 2011
ISBN13 9783642198342
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 394
Dimensiones 155 × 235 × 23 mm   ·   612 g
Lengua Francés  
Editor Abdulla, Parosh Aziz
Editor Leino, K. Rustan M.

Mas por Parosh Aziz Abdulla

Mostrar todo

Más del mismo editor

Ver todo de Parosh Aziz Abdulla