Main image
Click to view image in fullscreen
![]()
Formal Software Development
This gently-paced software engineering text concentrates on the use of formal methods for the development of high integrity software. The book contains examples and exercises throughout and is supported by a dedicated web site.
870,00 DH
Sur commande
This gently-paced software engineering text concentrates on the use of formal methods for the development of high integrity software. The book contains examples and exercises throughout and is supported by a dedicated web site.
| ISBN / EAN | 9780333992814 |
|---|---|
| Auteur | Charatan, Quentin |
| Editeur | Palgrave Macmillan |