|
|
|
|
| LEADER |
01721nam a2200313 i 4500 |
| 001 |
LibTUSUR0000022325 |
| 008 |
060815s1995 ru_ l000 0yrus d |
| 040 |
|
|
|a Библиотека ТУСУР
|b rus
|
| 245 |
0 |
0 |
|a Вычислительные системы:
|b Сборник научных трудов/
|c Российская Академия наук. Сибирское отделение, Институт математики им. С. Л. Соболева.
|n Вып. 152,
|p Теория вычислений и языки спецификаций
|
| 260 |
|
|
|a Новосибирск
|c 1995
|
| 300 |
|
|
|a 220 с.
|
| 535 |
2 |
|
|a Библиотека ТУСУР
|d https://lib.tusur.ru
|
| 653 |
0 |
|
|a теория вычислений
|
| 653 |
0 |
|
|a языки спецификаций
|
| 653 |
0 |
|
|a программирование
|
| 653 |
0 |
|
|a семантическое программирование
|
| 653 |
0 |
|
|a прикладная логика
|
| 653 |
0 |
|
|a программная логика
|
| 653 |
0 |
|
|a ресурсная динамическая логика
|
| 653 |
0 |
|
|a RDL
|
| 653 |
0 |
|
|a S-программы
|
| 653 |
0 |
|
|a языки действий
|
| 653 |
0 |
|
|a естественные языки
|
| 653 |
0 |
|
|a СИГМА-Т3
|
| 653 |
0 |
|
|a теория алгоритмов
|
| 653 |
0 |
|
|a вычислительные системы
|
| 852 |
|
|
|a Библиотека ТУСУР
|h 681.3
|i В-949
|p 275603
|b аунл
|
| 080 |
|
|
|a 681.324
|a 510.6
|
| 856 |
|
|
|y Перейти в каталог Библиотеки ТУСУР
|u https://lib.tusur.ru/irbis-new/i64r_15/cgiirbis_64.exe?Z21ID=&P21DBN=LIB&I21DBN=LIB&S21FMT=fullwebr&C21COM=S&2_S21P02=0&2_S21P03=I=&2_S21STR=681.3/В-949-026809
|
