![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 - Bücher - Springer-Verlag Berlin and Heidelberg Gm - 9783642198281 - 23. März 2011](https://imusic.b-cdn.net/images/item/original/281/9783642198281.jpg?jim-davies-2011-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-taschenbuch&class=scaled&v=1510750587)
Freunden von diesem Artikel berichten:
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
Preis
₩ 90.700
Bestellware
Lieferdatum: ca. 18. - 30. Jul
Zu deiner iMusic Wunschliste hinzufügen
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
Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
Erscheinungsdatum | 23. März 2011 |
ISBN13 | 9783642198281 |
Verlag | Springer-Verlag Berlin and Heidelberg Gm |
Seitenanzahl | 291 |
Maße | 155 × 235 × 18 mm · 453 g |
Sprache | Französisch |
Redakteur | Davies, Jim |
Redakteur | Silva, Leila |
Redakteur | Simao, Adenilso |
Alle anzeigen
Weitere Titel von Jim Davies
Alle Titel von Jim Davies ansehen ( u. a. CD , Taschenbuch , Gebundenes Buch und Buch )