Main image
Click to view image in fullscreen
![]()
Formal Methods and Software Engineering
The conference focuses on all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.
800,00 DH
Sur commande
The conference focuses on all areas related to formal engineering methods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.
| ISBN / EAN | 9783319686899 |
|---|---|
| Editeur | Springer International Publishing AG |