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 2012 edition
Rohit Gheyi
Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings - Lecture Notes in Computer Science 2012 edition
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 |
See all of Rohit Gheyi ( e.g. Paperback Book )
Christmas presents can be returned until 31 January