Tell your friends about this item:
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.
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | October 28, 2011 |
| ISBN13 | 9783642250316 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 205 |
| Dimensions | 155 × 235 × 13 mm · 340 g |
| Language | French |
| Editor | Morgan, Carroll |
| Editor | Simao, Adenilso |