Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings - Programming and Software Engineering - Kedar S Namjoshi - Livres - Springer-Verlag Berlin and Heidelberg Gm - 9783540755951 - 9 octobre 2007
Si la couverture et le titre ne correspondent pas, le titre est correct.

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

Prix
€ 64,49

Commandé depuis un entrepôt distant

Livraison prévue 24 juil. - 5 août

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

Automated Technology for Verification and Analysis: 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings - Programming and Software Engineering 2007 edition

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

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 9 octobre 2007
ISBN13 9783540755951
Éditeurs Springer-Verlag Berlin and Heidelberg Gm
Pages 570
Dimensions 155 × 235 × 30 mm   ·   884 g
Langue et grammaire French  
Éditeur Higashino, Teruo
Éditeur Namjoshi, Kedar
Éditeur Okamura, Yoshio
Éditeur Yoneda, Tomohiro

Voir tous les Kedar S Namjoshi ( par ex. Paperback Book )