Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings - Theoretical Computer Science and General Issues - Alex Groce - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642223051 - 5 de julio de 2011
En caso de que portada y título no coincidan, el título será el correcto

Alex Groce
Model Checking Software: 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011, Proceedings - Theoretical Computer Science and General Issues

Precio
Mex$ 957
sin IVA

Pedido desde almacén remoto

Entrega prevista 6 - 16 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 18th International SPIN workshop on Model Checking Software, SPIN 2011, held in Snowbird, UT, USA, in July 2011. The 10 revised full papers presented together with 2 tool demonstration papers and 1 invited contribution were carefully reviewed and selected from 29 submissions.

205 pages, 35 black & white illustrations, 25 colour illustrations, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 5 de julio de 2011
ISBN13 9783642223051
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 195
Dimensiones 155 × 235 × 11 mm   ·   340 g
Lengua Francés  
Editor Groce, Alex
Editor Musuvathi, Madanlal

Mere med samme udgiver

Ver todo de Alex Groce ( Ej. Paperback Book )