Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings - Lecture Notes in Computer Science - - Libros - Springer International Publishing AG - 9783319325811 - 8 de abril de 2016
En caso de que portada y título no coincidan, el título será el correcto

Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings - Lecture Notes in Computer Science 1st ed. 2016 edition

Precio
$ 55,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 1 - 14 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 bookconstitutes the refereed proceedings of the 23rd International Symposium on ModelChecking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016. The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4tool demonstrations, were carefully reviewed and selected from 27 submissions.

245 pages, 75 black & white illustrations, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 8 de abril de 2016
ISBN13 9783319325811
Editores Springer International Publishing AG
Páginas 245
Dimensiones 155 × 235 × 14 mm   ·   4,04 kg
Lengua Alemán  
Editor Bosnacki, Dragan
Editor Wijs, Anton

Mere med samme udgiver