Pastāsti draugiem par šo preci:
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
| Mediji | Grāmatas Paperback Book (Grāmata ar mīksto vāku un līmēto muguru) |
| Izlaists | 2012. gada 11. augusts |
| ISBN13 | 9783642332951 |
| Izdevēji | Springer-Verlag Berlin and Heidelberg Gm |
| Lapas | 227 |
| Izmēri | 155 × 235 × 12 mm · 340 g |
| Valoda | Vācu |
| Redaktors | Gheyi, Rohit |
| Redaktors | Naumann, David |