Main image
Click to view image in fullscreen
![]()
Software Specification
This volume provides a detailed comparison and study of the various methods for reasoning about software. The material offers a comprehensive understanding of which program structures are easier to manipulate by formal techniques.
360,00 DH
Sur commande
This volume provides a detailed comparison and study of the various methods for reasoning about software. The material offers a comprehensive understanding of which program structures are easier to manipulate by formal techniques.
| ISBN / EAN | 9781567500332 |
|---|---|
| Auteur | Zelkowitz, Marvin V. |
| Editeur | Intellect Books |