Le livre est actuellement en rupture de stock

Paramètres
- Pages
- 702pages
- Temps de lecture
- 25heures
En savoir plus sur le livre
This book serves as a comprehensive reference that combines theoretical concepts with practical implementations, providing readers with accompanying code. It is designed to be self-contained, making it an ideal resource for those seeking to understand complex topics while having access to real-world coding examples.
Achat du livre
Handbook of Practical Logic and Automated Reasoning, John Harrison
- Langue
- Année de publication
- 2015
- product-detail.submit-box.info.binding
- (rigide)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Il manque plus que ton avis ici.