Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings - Lecture Notes in Computer Science - Rohit Gheyi - Bøker - Springer-Verlag Berlin and Heidelberg Gm - 9783642332951 - 11. august 2012
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Pris
NOK 519

Bestillingsvarer

Forventes levert 26. nov - 4. des
Julegaver kan byttes frem til 31. januar
Legg til iMusic ønskeliste
eller

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 Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 11. august 2012
ISBN13 9783642332951
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 227
Mål 155 × 235 × 12 mm   ·   340 g
Språk Tysk  
Redaktør Gheyi, Rohit
Redaktør Naumann, David