Sungdeok Cha U A (1 results)

Author:

Refine with Advanced Search

More images
Automated Technology for Verification and Analysis | 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings
Sungdeok Cha (u. a.)
Language: English
Published by Springer, 2008
354088386X / 9783540883869
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
5-star seller
Contact seller
Condition: New
£ 44.49
£ 59.99 shipping
Ships from Germany to U.S.A.
Quantity: 5 available
Taschenbuch. Condition: Neu. Automated Technology for Verification and Analysis | 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings | Sungdeok Cha (u. a.) | Taschenbuch | xiv | Englisch | 2008 | Springer | EAN 9783540883869 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergarten…