Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2 - - Libros - Springer Nature Switzerland AG - 9783030720155 - 20 de marzo de 2021
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: 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2 1st ed. 2021 edition

Precio
Mex$ 774
sin IVA

Pedido desde almacén remoto

Entrega prevista 16 - 28 de sep.

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

También disponible como:

This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021.

471 pages, 106 Illustrations, black and white; XXI, 471 p. 106 illus.

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 20 de marzo de 2021
ISBN13 9783030720155
Editores Springer Nature Switzerland AG
Páginas 471
Dimensiones 157 × 234 × 29 mm   ·   734 g
Lengua Alemán  
Editor Groote, Jan Friso
Editor Larsen, Kim Guldstrand

Más del mismo editor