

Computer Aided Verification
- Undertitel
- 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings
- Redaktör
- Rajeev Alur, Doron A. Peled
- ISBN
- 9783540278139
- Språk
- Engelska
- Utgivningsdatum
- 2004-07-30
- Tillgängliga elektroniska format
- PDF - Adobe DRM
- Läs e-boken här
- E-boksläsare i mobil/surfplatta
- Läsplatta
- Dator
