Main image
Click to view image in fullscreen
![]()
Deductive Software Verification: Future Perspectives
This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification.Since the inception of the KeY project two decades ago, the area of deductive verification has evolved considerably.
800,00 DH
Sur commande
This book presents reflections on the occasion of 20 years on the KeY project that focuses on deductive software verification.Since the inception of the KeY project two decades ago, the area of deductive verification has evolved considerably.
| ISBN / EAN | 9783030643539 |
|---|---|
| Editeur | Springer Nature Switzerland AG |