|
|
|
|
| LEADER |
01323nam a2200289 i 4500 |
| 001 |
LibTUSUR0000037935 |
| 008 |
070130s2006 ge_a l000 0yeng d |
| 020 |
|
|
|a 978354021149-5
|c €74.95
|
| 040 |
|
|
|a Библиотека ТУСУР
|b eng
|
| 100 |
1 |
|
|4 aut
|a Bjørner, Dines
|
| 245 |
0 |
0 |
|a Software Engineering/
|c Bjørner, Dines;D. Bjørner.
|n Vol. 1,
|p Abstraction and Modelling
|
| 260 |
|
|
|a Berlin Heidelberg:
|b Springer
|c 2006
|
| 300 |
|
|
|a 711[39] p.:
|b 38 figur.
|
| 440 |
|
0 |
|a Texts in Computer Science
|
| 504 |
|
|
|a Reference: p. 687-711; Index: p. 649-685
|
| 535 |
2 |
|
|a Библиотека ТУСУР
|d https://lib.tusur.ru
|
| 242 |
0 |
0 |
|a Программирование
|
| 653 |
0 |
|
|a программирование
|
| 653 |
0 |
|
|a абстракции
|
| 653 |
0 |
|
|a моделирование
|
| 653 |
0 |
|
|a дискретная математика
|
| 653 |
0 |
|
|a языки спецификаций
|
| 653 |
0 |
|
|a спецификации
|
| 852 |
|
|
|a Библиотека ТУСУР
|h 1821(И)
|i
|p 1821(и)
|b аунл
|
| 080 |
|
|
|a 681.3.06
|
| 700 |
1 |
|
|a Bjørner, D.
|q Dinesaut
|
| 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=1821(И)/ -563530
|
