Spar
Automated Technology for Verification and Analysis
e-bok, 2010
Engelsk
Les i Adobe DRM-kompatibelt e-bokleserDenne e-boka er kopibeskyttet med Adobe DRM som påvirker hvor du kan lese den. Les mer
- Undertittel
- 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings
- Redaktør
- Wei-Ngan Chin, Ahmed Bouajjani
- ISBN
- 9783642156434
- Språk
- Engelsk
- Utgivelsesdato
- 21.9.2010
- Tilgjengelige elektroniske format
- PDF - Adobe DRM
- Les e-boka her
- E-bokleser i mobil/nettbrett
- Lesebrett
- Datamaskin
