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 -  - Libros - Springer International Publishing AG - 9783031308222 - 22 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
$ 45,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 26 de jun. - 9 de jul.
Añadir a tu lista de deseos de iMusic

708 pages, 140 Illustrations, color; 53 Illustrations, black and white; XXIII, 708 p. 193 illus., 14

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 22 de abril de 2023
ISBN13 9783031308222
Editores Springer International Publishing AG
Páginas 708
Dimensiones 157 × 234 × 43 mm   ·   1,07 kg
Lengua Alemán  
Editor Sankaranarayanan, Sriram
Editor Sharygina, Natasha

Mere med samme udgiver