Spar
Computer Aided Verification
This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, Scotland, July 6–10, 2005. CAV 2005 had six a?liated workshops: – BMC 2005: 3rd Int. – PDPAR 2005: 3rd Workshop on Pragmatics of Decision Procedures in - tomated Reasoning;
- Undertittel
- 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
- Redaktør
- Kousha Etessami, Sriram K. Rajamani
- Opplag
- 2005 ed.
- ISBN
- 9783540272311
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 24.6.2005
- Antall sider
- 568
