![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 - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783642198281 - keskiviikko 23. maaliskuuta 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-paperback-book&class=scaled&v=1510750587)
Vinkkaa tuotetta kavereillesi:
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
Hinta
₺ 2.362,80
Tilattu etävarastosta
Arvioitu toimitus ti 23. heinä - pe 2. elo
Lisää iMusic-toivelistallesi
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 | Kirjat Paperback Book (Kirja pehmeillä kansilla ja liimatulla selällä) |
Julkaisupäivämäärä | keskiviikko 23. maaliskuuta 2011 |
ISBN13 | 9783642198281 |
Tuottaja | Springer-Verlag Berlin and Heidelberg Gm |
Sivujen määrä | 291 |
Mitta | 155 × 235 × 18 mm · 453 g |
Kieli | French |
Toimittaja | Davies, Jim |
Toimittaja | Silva, Leila |
Toimittaja | Simao, Adenilso |
Näytä kaikki
Lisää tuotteita Jim Davies
Katso kaikki joka sisältää Jim Davies ( Esim. CD , Paperback Book , Hardcover Book Ja Book )