A self-contained tutorial on Z for working programmers discussing practical ways to apply formal methods in real projects.
Информация за "The Way of Z"
- SKU 9780521550413
- Weight 0.008000
- ISBN 9780521550413
- Вид корица Hardback
- Издателство Cambridge University Press
- Брой страници 367
The information below is required for social login