Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings - Lecture Notes in Computer Science - Rohit Gheyi - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642332951 - August 11, 2012
In case cover and title do not match, the title is correct

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

Price
Kč 1,081
excl. VAT

Ordered from remote warehouse

Expected delivery Nov 17 - 27
Christmas presents can be returned until 31 January
Add to your iMusic wish list

Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings - Lecture Notes in Computer Science 2012 edition

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