Main image
Click to view image in fullscreen
![]()
Deductive Software Verification - The KeY Book
Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering.
1 190,00 DH
Sur commande
Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering.
| ISBN / EAN | 9783319498119 |
|---|---|
| Editeur | Springer International Publishing AG |