Model Checking Software: 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings - Lecture Notes in Computer Science - Alastair Donaldson - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642317583 - 25 de julio de 2012
En caso de que portada y título no coincidan, el título será el correcto

Alastair Donaldson
Model Checking Software: 19th International SPIN Workshop, Oxford, UK, July 23-24, 2012. Proceedings - Lecture Notes in Computer Science 2012 edition

Precio
Mex$ 889
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 thoroughly refereed proceedings of the 19th International SPIN workshop on Model Checking Software, SPIN 2012, held in Oxford, UK, in July 2012. The 11 revised full papers presented together with 5 tool papers and 4 invited talks were carefully reviewed and selected from 30 submissions.

264 pages, 85 black & white illustrations, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 25 de julio de 2012
ISBN13 9783642317583
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 261
Dimensiones 155 × 235 × 14 mm   ·   430 g
Lengua Francés  
Editor Donaldson, Alastair
Editor Parker, David

Mere med samme udgiver

Ver todo de Alastair Donaldson ( Ej. Paperback Book )