Interactive Theorem Proving in Software Engineering
Sponsorisé Ce site contient des liens d'affiliation pour lesquels nous pouvons recevoir une compensation. Plus d'informations
Fnac FR
Sponsorisé Interactive Theorem Proving in Software Engineering
106.38 EUR
Prix mis à jour le: 01-06-2026 17:05:51
106.38 EUR
Prix mis à jour le: 01-06-2026 17:05:51 | Identifiants | |
|---|---|
| Dimensions / poids | |
| Fonctionnalités clés |
VDM Verlag Dr. Mueller E.K.
