Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings - Lecture Notes in Computer Science - - Libros - Springer International Publishing AG - 9783031321566 - 2 de mayo de 2023
En caso de que portada y título no coincidan, el título será el correcto

Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 26–27, 2023, Proceedings - Lecture Notes in Computer Science 1st ed. 2023 edition

Precio
$ 60,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 25 de jun. - 8 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

This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26–27, 2023. The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions.

199 pages, 24 Illustrations, color; 26 Illustrations, black and white; X, 199 p. 50 illus., 24 illus

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 2 de mayo de 2023
ISBN13 9783031321566
Editores Springer International Publishing AG
Páginas 199
Dimensiones 150 × 220 × 10 mm   ·   332 g
Lengua Alemán  
Editor Caltais, Georgiana
Editor Schilling, Christian

Mere med samme udgiver