Recomienda este artículo a tus amigos:
Formal Methods: Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings - Lecture Notes in Computer Science Adenilso Simao 2011 edition
Formal Methods: Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings - Lecture Notes in Computer Science
Adenilso Simao
This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011;
Marc Notes: Revised conference papers.; This text constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011.
| Medios de comunicación | Libros Paperback Book (Libro con tapa blanda y lomo encolado) |
| Publicado | 28 de octubre de 2011 |
| ISBN13 | 9783642250316 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 205 |
| Dimensiones | 155 × 235 × 13 mm · 340 g |
| Lengua | Francés |
| Editor | Morgan, Carroll |
| Editor | Simao, Adenilso |