Основания языков программирования Дж. Митчелл
Сохранить в:
Автор: | |
---|---|
Тип документа: | Книга |
Язык: | Russian English |
Год издания: |
Москва Ижевск Регулярная и хаотическая динамика 2010
|
Предметная рубрика: | |
Ключевые слова: |
LEADER | 01672nam0a2200397 i 4500 | ||
---|---|---|---|
001 | 1BA69456-23EF-4EBA-BACD-FC5CA45E0305 | ||
010 | |a 978-5-93972-757-0 | ||
100 | |a 20100623d2010 |||y0rusy01 ca | ||
101 | 1 | |a rus |c eng | |
102 | |a RU | ||
105 | |a a ||||000zy | ||
200 | 1 | |a Основания языков программирования |f Дж. Митчелл |g пер. с англ. П. Г. Айткулова и Д. Ю. Котегова ; под науч. ред. Н. Н. Непейводы | |
210 | |a Москва |a Ижевск |c Регулярная и хаотическая динамика |d 2010 | ||
215 | |a 718, [1]с. |c ил. |d 25 см | ||
320 | |a Библиогр.: с. 693-707. - Предм. указ.: с. 708-718 | ||
454 | 0 | |1 7001 |a Mitchell John |1 2001 |a Foundations for Programming Languages | |
606 | |a Объектно-ориентированные языки программирования | ||
610 | 1 | |a Язык ПВФ | |
610 | 1 | |a Универсальные алгебры | |
610 | 1 | |a Алгебраические типы данных | |
610 | 1 | |a Императивные программы | |
610 | 1 | |a рекурсивные функции | |
610 | 1 | |a Логические отношения | |
610 | 1 | |a полиморфизм | |
610 | 1 | |a Модульность | |
610 | 1 | |a Подтипы | |
686 | |a 32.973.2-018.1 |2 rubbk | ||
686 | |a 50 |2 rugasnti | ||
700 | 1 | |a Митчелл |b Д. |g Джон | |
702 | 1 | |a Айткулов |b П. Г. |4 730 | |
702 | 1 | |a Котегов |b Д. Ю. |4 730 | |
702 | 1 | |a Непейвода |b Н. Н. |4 340 | |
801 | 0 | |b В |a НО |c 20210324 |