Formal Methods: Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings - Lecture Notes in Computer Science - Adenilso Simao - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783642250316 - October 28, 2011
In case cover and title do not match, the title is correct

Formal Methods: Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings - Lecture Notes in Computer Science 2011 edition

Price
$ 81.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 17 - 29
Get notified about new Adenilso Simao releases
Add to your iMusic wish list

Not rated yet

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

More from the same publisher