

Rigorous Methods for Software Construction and Analysis
- Undertitel
- Essays Dedicated to Egon Borger on the Occasion of His 60th Birthday
- Redaktör
- Uwe Glasser, Jean-Raymond Abrial
- ISBN
- 9783642114472
- Språk
- Engelska
- Utgivningsdatum
- 2010-01-10
- Tillgängliga elektroniska format
- PDF - Adobe DRM
- Läs e-boken här
- E-boksläsare i mobil/surfplatta
- Läsplatta
- Dator