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
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

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

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