|
|
|
|
| LEADER |
01055nam a2200193 i 4500 |
| 001 |
LibTUSUR0000048267 |
| 008 |
110912u1986 ru_ l000 0yrus d |
| 040 |
|
|
|a Библиотека ТУСУР
|b rus
|
| 100 |
1 |
|
|a Абрамов, С. А.
|q Сергей Александрович
|4 aut
|
| 245 |
0 |
0 |
|a Элементы анализа программ. Частичные функции на множестве состояний:
|b /
|c С. А. Абрамов
|
| 260 |
|
|
|a М.:
|b Наука
|c 1986
|
| 300 |
|
|
|a 128 с.
|
| 440 |
|
0 |
|a Библиотечка программиста
|
| 535 |
2 |
|
|a Библиотека ТУСУР
|d https://lib.tusur.ru
|
| 653 |
0 |
|
|a ИНФОРМАТИКА
|
| 653 |
0 |
|
|a ПРОГРАММИРОВАНИЕ
|
| 852 |
|
|
|a Библиотека ТУСУР
|h 519
|i А 161
|p 241603
|b аунл
|
| 080 |
|
|
|a 519.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=519/А 161-046649
|