FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings - Programming and Software Engineering - Michael Butler - Libros - Springer-Verlag Berlin and Heidelberg Gm - 9783642214363 - 16 de junio de 2011
En caso de que portada y título no coincidan, el título será el correcto

FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings - Programming and Software Engineering


Recibe un correo electrónico cuando el artículo esté disponible
¿Tienes un perfil? Iniciar sesión
Añadir a tu lista de deseos de iMusic

This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011.


464 pages, 83 black & white illustrations, 27 colour illustrations, biography

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 16 de junio de 2011
ISBN13 9783642214363
Editores Springer-Verlag Berlin and Heidelberg Gm
Páginas 450
Dimensiones 155 × 235 × 25 mm   ·   703 g
Lengua Francés  
Editor Butler, Michael
Editor Schulte, Wolfram

Mas por Michael Butler

Mostrar todo

Mere med samme udgiver