Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, P - - Libros - Springer Nature Switzerland AG - 9783030452360 - 18 de abril de 2020
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: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, P 1st ed. 2020 edition

Precio
$ 45,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 29 de jun. - 10 de jul.

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

También disponible como:

425 pages, 1 Illustrations, black and white; XXIII, 425 p. 1 illus.

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 18 de abril de 2020
ISBN13 9783030452360
Editores Springer Nature Switzerland AG
Páginas 425
Dimensiones 150 × 220 × 10 mm   ·   688 g
Lengua Alemán  
Editor Biere, Armin
Editor Parker, David

Mere med samme udgiver