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

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

Inicia sesión para recibir una notificación cuando el producto vuelva a estar disponible

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

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

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 French  
Editor Abdulla, Parosh Aziz
Editor Leino, K. Rustan M.
Mostrar todo

Mas por Parosh Aziz Abdulla

Ver todo de Parosh Aziz Abdulla ( Ej. Paperback Book )