Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings - Lecture Notes in Computer Science - - Libros - Springer International Publishing AG - 9783319941103 - 17 de junio de 2018
En caso de que portada y título no coincidan, el título será el correcto

Model Checking Software: 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings - Lecture Notes in Computer Science 1st ed. 2018 edition

Precio
Mex$ 958
sin IVA

Pedido desde almacén remoto

Entrega prevista 7 - 17 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 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018. The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. formal analysis for modeling languages, such as UML/state charts;

347 pages, 78 Illustrations, black and white; XVI, 347 p. 78 illus.

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 17 de junio de 2018
ISBN13 9783319941103
Editores Springer International Publishing AG
Páginas 347
Dimensiones 155 × 234 × 22 mm   ·   546 g
Lengua Francés  
Editor Gallardo, Maria del Mar
Editor Merino, Pedro

Mere med samme udgiver