Handbook of Practical Logic and Automated Reasoning

John Harrison

One-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied.
  • Limba : Engleza
  • Data Publicarii : 12 Mar 2009
  • Format : Hardback
  • Numar pagini : 702
  • ISBN : 9780521899574
Rating:
671.99 Lei
Disponibilitate : 4-6 saptamani

Acest produs este disponibil in stocul furnizorilor okian.ro si poate fi livrat in 4-6 saptamani