Fortell venner om denne varen:
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 2004 edition
Jim Davies
Pris
NOK 1.299
Bestillingsvarer
Forventes levert 8. - 18. jul
Legg til iMusic ønskeliste
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 2004 edition
Jim Davies
500 pages, biography
| Media | Bøker Pocketbok (Bok med mykt omslag og limt rygg) |
| Utgitt | 28. oktober 2004 |
| ISBN13 | 9783540238416 |
| Utgivere | Springer-Verlag Berlin and Heidelberg Gm |
| Antall sider | 500 |
| Mål | 155 × 235 × 26 mm · 721 g |
| Språk | Tysk |
| Redaktør | Barnett, Mike |
| Redaktør | Davies, Jim |
| Redaktør | Schulte, Wolfram |
![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)