Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings - Lecture Notes in Computer Science - Rohit Gheyi - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783642332951 - lauantai 11. elokuuta 2012
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Hinta
Kč 1.191

Tilattu etävarastosta

Arvioitu toimitus to - pe 13. - 21. marras
Joululahjoja voi vaihtaa 31.1. asti
Lisää iMusic-toivelistallesi
tai

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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä lauantai 11. elokuuta 2012
ISBN13 9783642332951
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 227
Mitta 155 × 235 × 12 mm   ·   340 g
Kieli German  
Toimittaja Gheyi, Rohit
Toimittaja Naumann, David