Programming With Specifications: An Introduction to Anna, a Language for Specifying Ada Programs - David Luckham
Sponsorisé Ce site contient des liens d'affiliation pour lesquels nous pouvons recevoir une compensation. Plus d'informations
ammareal.fr
Sponsorisé Programming With Specifications: An Introduction to Anna, a Language for Specifying Ada Programs - David Luckham
6.17 EUR
Prix mis à jour le: 20-04-2026 14:20:12 Produit utilisé
6.17 EUR
Prix mis à jour le: 20-04-2026 14:20:12 Produit utilisé | Identifiants | |
|---|---|
| Dimensions / poids | |
| Fonctionnalités clés |
