Fortell venner om denne varen:
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
Pris
A$ 98,49
Bestillingsvarer
Forventes levert 19. jun - 1. jul
Legg til iMusic ønskeliste
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 | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 23. mars 2011 |
| ISBN13 | 9783642198281 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 291 |
| Mål | 155 × 235 × 18 mm · 453 g |
| Språk | Fransk |
| Redaktør | Davies, Jim |
| Redaktør | Silva, Leila |
| Redaktør | Simao, Adenilso |
![Cover for Jim Davies · Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings - Programming and Software Engineering (Pocketbok) [2007 edition] (2007)](https://imusic.b-cdn.net/images/item/original/099/9783540732099.jpg?jim-davies-2007-integrated-formal-methods-6th-international-conference-ifm-2007-oxford-uk-july-2-5-2007-proceedings-programming-and-software-engineering-pocketbok&class=scaled&v=1510750590)
![Cover for Jim Davies · Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings - Lecture Notes in Computer Science (Pocketbok) [2004 edition] (2004)](https://imusic.b-cdn.net/images/item/original/416/9783540238416.jpg?jim-davies-2004-formal-methods-and-software-engineering-6th-international-conference-on-formal-engineering-methods-icfem-2004-seattle-wa-usa-november-8-12-2004-proceedings-lecture-notes-in-computer-science-pocketbok&class=scaled&v=1510750583)