Das Buch ist derzeit nicht auf Lager
Mehr zum Buch
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.
Buchkauf
Handbook of Practical Logic and Automated Reasoning, John Harrison
- Sprache
- Erscheinungsdatum
- 2015
- product-detail.submit-box.info.binding
- (Hardcover)
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Feedback senden
- Titel
- Handbook of Practical Logic and Automated Reasoning
- Sprache
- Englisch
- Autor*innen
- John Harrison
- Erscheinungsdatum
- 2015
- Einband
- Hardcover
- Seitenzahl
- 702
- ISBN13
- 9780521899574
- Kategorie
- Philosophie
- Beschreibung
- 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.