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
$ 64,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 15 de jul. - 3 de ago.

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

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

Mere med samme udgiver

Ver todo de Cormac Flanagan ( Ej. Paperback Book )