Educated Owl Books

Sell with us!

Computer Aided Verification : 17th International Conference, Cav 2005 Edinburgh, Scotland, UK, July 6-10, 2005 Proceedings

Computer Aided Verification : 17th International Conference, Cav 2005 Edinburgh, Scotland, UK, July 6-10, 2005 Proceedings

by Kousha Etessami, Sriram K. Rajamani Paperback 2005

⭐ 0.0 rating

| 📖 0 saved | ✅ 0 verified

Author: Kousha Etessami, Sriram K. Rajamani
ISBN 13: 9783540272311
ISBN 10: 3540272313
Publication Year: 2005
Language: English

Specifications

Index-103540272313

LanguageEnglish

Index-139783540272311

Period-

Class Track-

Publisher- (2005)

Pages-