Automated Technology for Verification and Analysis. 4th international symposium ; proceedings.ATVA 2006, Beijing, China, October 23 - 26, 2006. (=Lecture notes in computer science ; Vol. 4218).
Graf, Susanne and Wenhui Zhang (Edts.):
Published by Berlin, Springer, 2006
Language: English
Used
Condition: Wie neu
Soft cover
From Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Germany
Seller rating 5 out of 5 stars
AbeBooks Seller since 3 May 2002
Association Member:
Used - Soft cover
Price:
£ 15.49
Convert Currency
£ 9.40
shipping from Germany to United Kingdom
Destination, rates & speeds
Quantity: 1 available
Add to basket
