Fortæl dine venner om denne vare:
Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings - Programming and Software Engineering 2007 edition
Kedar S Namjoshi
Pris
DKK 569
Bestilles fra fjernlager
Forventes klar til forsendelse 22. - 30. jul.
Tilføj til din iMusic ønskeseddel
Eller
Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings - Programming and Software Engineering 2007 edition
Kedar S Namjoshi
The 29 revised full papers presented together with seven short papers address theoretical methods to achieve correct software or hardware systems, including both functional and non functional aspects;
570 pages, biography
| Medie | Bøger Paperback Bog (Bog med blødt omslag og limet ryg) |
| Udgivet | 9. oktober 2007 |
| ISBN13 | 9783540755951 |
| Forlag | Springer-Verlag Berlin and Heidelberg Gm |
| Antal sider | 570 |
| Mål | 155 × 235 × 30 mm · 884 g |
| Sprog | Fransk |
| Klipper/redaktør | Higashino, Teruo |
| Klipper/redaktør | Namjoshi, Kedar |
| Klipper/redaktør | Okamura, Yoshio |
| Klipper/redaktør | Yoneda, Tomohiro |
Se alt med Kedar S Namjoshi ( f.eks. Paperback Bog )