Stefan Kowalewski
Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings - Lecture Notes in Computer Science Stefan Kowalewski

¿Tienes un perfil? Iniciar sesión

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

Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings - Lecture Notes in Computer Science

Stefan Kowalewski

Constitutes the proceedings of the 15th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2010 held in Antwerp, Belgium, in September 2010 - co-located with ASE 2010, the 25th IEEE/ACM International Conference on Automated Software Engineering.

231 pages, 82 black & white illustrations, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	9 de septiembre de 2010
ISBN13	9783642158971
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	231
Dimensiones	155 × 234 × 15 mm · 385 g
Lengua	Francés
Editor	Kowalewski, Stefan
Editor	Roveri, Marco