Recomienda este artículo a tus amigos:
FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings - Programming and Software Engineering Michael Butler
FM 2011: Formal Methods: 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011, Proceedings - Programming and Software Engineering
Michael Butler
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 todoMere med samme udgiver
Ver todo de Michael Butler ( Ej. Paperback Book , CD y Hardcover Book )