[Вып.] 152 : Теория вычислений и языки спецификаций / науч. рук. Ю. Л. Ершов; С. С. Гончаров
Set Level: Вычислительные системы, сборник научных трудов / Академия наук СССР (АН СССР), Сибирское отделение (СО), Институт математики, [Вып.] 152 : Теория вычислений и языки спецификаций = 1964-2008Language: русский.Country: Россия.Publication: 1995Description: 220 с.ISBN: 5861340129.Bibliography: Библиогр. в конце ст..Subject - Topical Name: Математическая логика | Языки моделирования -- (вычислительная математика) Subject: теория | вычисления | математическая логика | семантическое программирование | научные труды | алгоритмы| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Books | НТБ ТПУ Научный фонд | 95-2643 | Available |
Total holds: 0
Библиогр. в конце ст.
There are no comments on this title.
Log in to your account to post a comment.