Higher Order Logic and Hardware Verification, Cambridge Tracts in Theoretical Computer Science
Sponsorisé Ce site contient des liens d'affiliation pour lesquels nous pouvons recevoir une compensation. Plus d'informations
Sponsorisé Higher Order Logic and Hardware Verification, Cambridge Tracts in Theoretical Computer Science
52.23 EUR
Prix mis à jour le: 17-05-2026 11:30:07
52.23 EUR
Prix mis à jour le: 17-05-2026 11:30:07 | Identifiants | |
|---|---|
| Dimensions / poids | |
| Fonctionnalités clés |

Cambridge University Press est une maison d'édition britannique fondée en 1584. Elle est aujourd'hui la plus grande maison d'édition universitaire du monde.






