Spara
Verification, Model Checking, and Abstract Interpretation
e-bok, 2005
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
- 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings
- Redaktör
- Radhia Cousot
- ISBN
- 9783540305798
- Språk
- Engelska
- Utgivningsdatum
- 2005-02-04
- Tillgängliga elektroniska format
- PDF - Adobe DRM
- Läs e-boken här
- E-boksläsare i mobil/surfplatta
- Läsplatta
- Dator
