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 - Livros - Springer-Verlag Berlin and Heidelberg Gm - 9783642347801 - 12 de outubro de 2012

Caso a capa e o título não sejam correspondentes, considere o título como correto

Conte aos seus amigos sobre este item:

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 Reiner H Hnle 2012 edition

Name: 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
Price: 297.9 BRL
Availability: OutOfStock
Author: Reiner H Hnle

Preço

R$ 297,90

excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 2 - 8 de out

Receba avisos sobre novos lançamentos de Reiner H Hnle

O que dizem nossos clientes:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor

Melhor classificação na Trustpilot

Adicione à sua lista de desejos do iMusic

Ainda não avaliado

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

2012 edition

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

Mídia	Livros Paperback Book (Livro de capa flexível e brochura)
Lançado	12 de outubro de 2012
ISBN13	9783642347801
Editoras	Springer-Verlag Berlin and Heidelberg Gm
Gênero	Aspects (Academic) > Science / Technology Aspects
Páginas	261
Dimensões	155 × 235 × 14 mm · 390 g
Idioma	Alemão
Editor	Hahnle, Reiner
Editor	Knoop, Jens
Editor	Margaria, Tiziana
Editor	Schreiner, Dietmar
Editor	Steffen, Bernhard