
Rigorous Software Development. An Introduction to Program Verification
Par : , , ,Formats :
- Nombre de pages263
- PrésentationBroché
- Poids0.435 kg
- Dimensions15,5 cm × 23,5 cm × 1,5 cm
- ISBN978-0-85729-017-5
- EAN9780857290175
- Date de parution01/01/2011
- ÉditeurSpringer