Educated Owl Books

Sell with us!

Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings

Computer Aided Verification : 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings

by Aarti Gupta, Sharad Malik Paperback 2008

⭐ 0.0 rating

| 📖 0 saved | ✅ 0 verified

Author: Aarti Gupta, Sharad Malik
ISBN 13: 9783540705437
ISBN 10: 3540705430
Publication Year: 2008
Language: English

Specifications

Index-103540705430

LanguageEnglish

Index-139783540705437

Period-

Class Track-

Publisher- (2008)

Pages-