Spar
Verification, Model Checking, and Abstract Interpretation
e-bok, 2003
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
- Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers
- Redaktør
- Agostino Cortesi
- ISBN
- 9783540478133
- Språk
- Engelsk
- Utgivelsesdato
- 31.7.2003
- Tilgjengelige elektroniske format
- PDF - Adobe DRM
- Les e-boka her
- E-bokleser i mobil/nettbrett
- Lesebrett
- Datamaskin
