Vertel uw vrienden over dit artikel:
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers - Programming and Software Engineering
Jim Davies
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers - Programming and Software Engineering
Jim Davies
This book constitutes the thoroughly refereed post-conferenceproceedings of the 13th Brazilian Symposium on Formal Methods, SBMF2010, held in Natal, Brazil, in November 2010.
299 pages, biography
Media | Boeken Paperback Book (Boek met zachte kaft en gelijmde rug) |
Vrijgegeven | 23 maart 2011 |
ISBN13 | 9783642198281 |
Uitgevers | Springer-Verlag Berlin and Heidelberg Gm |
Pagina's | 291 |
Afmetingen | 155 × 235 × 18 mm · 453 g |
Taal en grammatica | Frans |
Uitgever | Davies, Jim |
Uitgever | Silva, Leila |
Uitgever | Simao, Adenilso |
Alles tonen
Meer door Jim Davies
Bekijk alles van Jim Davies ( bijv. CD , Paperback Book , Hardcover Book en Book )