Spara
Verification, Model Checking, and Abstract Interpretation
e-bok, 2008
Engelska
Läs i Adobe DRM-kompatibel e-boksläsareDen här e-boken är kopieringsskyddad med Adobe DRM vilket påverkar var du kan läsa den. Läs mer
- Undertitel
- 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings
- Redaktör
- Francesco Logozzo, Doron A. Peled, Leonore D. Zuck
- ISBN
- 9783540781639
- Språk
- Engelska
- Utgivningsdatum
- 2008-02-29
- Tillgängliga elektroniska format
- PDF - Adobe DRM
- Läs e-boken här
- E-boksläsare i mobil/surfplatta
- Läsplatta
- Dator
