Поиск книг в интернет магазинах
По запросу "0262161311" найдена 1 книга.
Type theory is a well-established branch of theoretical computer science that has played an important role in the development of imperative and functional programming languages. This collection of original research papers assesses and summarizes the impact of types on logic programming. It covers all of the major themes in this burgeoning field, including ...
Год: 1992; Страниц: 378; Издательство: The MIT Press
2109 руб.
ozon.ru 2109 руб.
o