Tell your friends about this item:
Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings - Lecture Notes in Computer Science Rohit Gheyi 2012 edition
Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings - Lecture Notes in Computer Science
Rohit Gheyi
This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012;
240 pages, 67 black & white illustrations, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | August 11, 2012 |
| ISBN13 | 9783642332951 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 227 |
| Dimensions | 155 × 235 × 12 mm · 340 g |
| Language | German |
| Editor | Gheyi, Rohit |
| Editor | Naumann, David |