Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proce - Cormac Flanagan - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642287558 - 14 de marzo de 2012
En caso de que portada y título no coincidan, el título será el correcto

Cormac Flanagan
Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proce

Precio
Mex$ 1.123
sin IVA

Pedido desde almacén remoto

Entrega prevista 3 - 21 de sep.
Recibe notificaciones sobre nuevos lanzamientos de Cormac Flanagan

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 proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012.

560 pages, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 14 de marzo de 2012
ISBN13 9783642287558
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 560
Dimensiones 155 × 235 × 33 mm   ·   839 g
Lengua Francés  
Editor Flanagan, Cormac
Editor Koenig, Barbara

Más del mismo editor

Ver todo de Cormac Flanagan ( Ej. Paperback Book )