Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings - Lectu - Christel Baier - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783662466803 - 8 de abril de 2015
En caso de que portada y título no coincidan, el título será el correcto

Christel Baier
Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings - Lectu 2015 edition

Precio
€ 49,99

Pedido desde almacén remoto

Entrega prevista 6 - 12 de ene. de 2026
Los regalos de Navidad se podrán canjear hasta el 31 de enero

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 45 papers included in this volume, consisting of 27 research papers, 2 case-study papers, 7 regular tool papers and 9 tool demonstration papers, were carefully reviewed and selected from 164 submissions.

725 pages, 210 black & white illustrations, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 8 de abril de 2015
ISBN13 9783662466803
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 725
Dimensiones 155 × 235 × 38 mm   ·   1,03 kg
Lengua Francés  
Editor Baier, Christel
Editor Tinelli, Cesare

Mas por Christel Baier

Mostrar todo

Ver todo de Christel Baier ( Ej. Paperback Book y Hardcover Book )