![Handbook of Practical Logic and Automated Reasoning Handbook of Practical Logic and Automated Reasoning](/buxus/images/cache/product_image_large/products/xA6533973.jpeg.pagespeed.ic.hHqK3B3ggk.jpg)
-
Anglický jazyk
Handbook of Practical Logic and Automated Reasoning
Autor: John Harrison
One-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied.
Na objednávku
151.18 €
bežná cena: 171.80 €
O knihe
One-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied.
- Vydavateľstvo: Cambridge University Press
- Rok vydania: 2015
- Formát: Hardback
- Rozmer: 250 x 175 mm
- Jazyk: Anglický jazyk
- ISBN: 9780521899574