Kniha momentálne nie je na sklade
Parametre
- Počet strán
- 702 stránok
- Čas čítania
- 25 hodin
Viac o knihe
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.
Nákup knihy
Handbook of Practical Logic and Automated Reasoning, John Harrison
- Jazyk
- Rok vydania
- 2015
- product-detail.submit-box.info.binding
- (pevná)
Akonáhle sa objaví, pošleme e-mail.
Doručenie
Platobné metódy
Tu nám chýba tvoja recenzia