Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers - Communications in Computer - Reiner H Hnle - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642347801 - 12 de octubre de 2012
En caso de que portada y título no coincidan, el título será el correcto

Reiner H Hnle
Leveraging Applications of Formal Methods, Verification, and Validation: International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers - Communications in Computer 2012 edition

Precio
$ 54,99
sin IVA

Pedido desde almacén remoto

Entrega prevista 22 de jul. - 4 de ago.

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

Contains a selection of revised papers that were presented at the Software Aspects of Robotic Systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during October 17-18 in Vienna, Austria.

272 pages, 94 black & white illustrations, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 12 de octubre de 2012
ISBN13 9783642347801
Editores Springer-Verlag Berlin and Heidelberg Gm
Género Aspects (Academic) > Science / Technology Aspects
Páginas 261
Dimensiones 155 × 235 × 14 mm   ·   390 g
Lengua Alemán  
Editor Hahnle, Reiner
Editor Knoop, Jens
Editor Margaria, Tiziana
Editor Schreiner, Dietmar
Editor Steffen, Bernhard

Mere med samme udgiver

Ver todo de Reiner H Hnle ( Ej. Paperback Book )