Tools and Algorithms for the Construction and Analysis of Systems: 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11–16, 2026, Proceedings, -  - Libros - Springer Nature Switzerland AG - 9783032227515 - 17 de abril de 2026
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: 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11–16, 2026, Proceedings,

Precio
$ 43,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 14 - 24 de sep.
Añadir a tu lista de deseos de iMusic

Aún no valorado

También disponible como:

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 17 de abril de 2026
ISBN13 9783032227515
Editores Springer Nature Switzerland AG
Páginas 682
Dimensiones 157 × 236 × 38 mm   ·   1,06 kg
Lengua Alemán  
Editor Junges, Sebastian
Editor Katz, Guy

Más del mismo editor