Items related to Automated Technology for Verification and Analysis:...

Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings (Lecture Notes in Computer Science) - Softcover

Unknown Author

 
9783540884224: Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings (Lecture Notes in Computer Science)
Softcover
ISBN 10: 354088422X ISBN 13: 9783540884224

This specific ISBN edition is currently not available.

  • ISBN 10 354088422X
  • ISBN 13 9783540884224
  • BindingPaperback
  • LanguageEnglish

(No Available Copies)

Search Books:



Create a Want

Can't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!

Create a Want

Other Popular Editions of the Same Title

9783540883869: Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings (Lecture Notes in Computer Science, 5311)

Featured Edition

ISBN 10:  354088386X ISBN 13:  9783540883869
Publisher: Springer, 2008
Softcover