Контакт
Как се пазарува?
Доставка
Наръчник за пазаруване
Models of Computation
Английски език
96 b
До 30 дни за връщане на стоки
Клиентите са закупили също
/
С меки корици
53.00
€
103.66 лв
/
С меки корици
30.14
€
58.94 лв
/
С меки корици
23.85
€
46.64 лв
/
Аудио компактдиск
17.04
€
33.33 лв
/
С меки корици
22.76
€
44.51 лв
/
С твърди корици
47.29
€
92.48 лв
This book presents in their basic form the most important models of computation, their programming paradigms, and their mathematical descriptions, both concrete and abstract. The authors also describe important techniques for reasoning on them and for proving some essential properties. After preliminary chapters that introduce the notions of structure and meaning, semantic methods, inference rules, and logic programming, the authors arrange their chapters into parts on IMP, a simple imperative language; HOFL, a higher-order functional language, concurrent systems, and probabilistic systems.§§The book will be useful for undergraduate and graduate courses on theoretical computer science.§
Информация за книгата
Английски език
Подарете тази книга днес
Лесно е
1 Добавете книгата в количката си и изберете Доставка като подарък 2 В замяна ще ви изпратим ваучер 3 Книгата ще пристигне на адреса на получателяМоже би ще Ви заинтересува
/
С твърди корици
31.75
€
62.09 лв
/
С твърди корици
24.26
€
47.46 лв
/
С меки корици
15.79
€
30.89 лв
