Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Par - Natasha Sharygina-Sriram Sankaranarayanan - Libros - Springer International Publishing AG - 9783031308192 - 20 de abril de 2023
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: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings, Par 1st ed. 2023 edition

Precio
$ 42,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 18 - 30 de jun.
Añadir a tu lista de deseos de iMusic

604 pages, 163 Illustrations, color; 54 Illustrations, black and white; XXIV, 604 p. 217 illus., 163

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 20 de abril de 2023
ISBN13 9783031308192
Editores Springer International Publishing AG
Páginas 604
Dimensiones 157 × 233 × 36 mm   ·   936 g
Lengua Alemán  
Editor Sankaranarayanan, Sriram
Editor Sharygina, Natasha

Mere med samme udgiver