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
zł 282,90
Bestellware
Lieferdatum: ca. 4. - 13. Dez
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
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 )