Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proce 1st ed. 2016 edition

Name: Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proce
Price: 54.99 USD
Availability: OutOfStock

Precio

$ 54,99

sin IVA

Pedido desde almacén remoto

Entrega prevista 5 - 18 de ago.

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

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

Tools and Algorithms for the Construction and Analysis of Systems: 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proce

1st ed. 2016 edition

961 pages, 220 black & white illustrations, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	9 de abril de 2016
ISBN13	9783662496732
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	961
Dimensiones	150 × 220 × 10 mm · 1,35 kg
Lengua	Alemán
Editor	Chechik, Marsha
Editor	Raskin, Jean-Francois