Поисковый запрос: (<.>K=языки спецификаций<.>) |
Общее количество найденных документов : 6
Показаны документы с 1 по 6 |
1.
| Bjørner, Dines. Software Engineering []. - (Texts in Computer Science). Vol. 2 : Specification of Systems and Languages. - Berlin Heidelberg : Springer
, 2006. - 777[39] p. (
1 экз. )
|
2.
| Bjørner, Dines. Software Engineering []. - (Texts in Computer Science). Vol. 1 : Abstraction and Modelling. - Berlin Heidelberg : Springer
, 2006. - 711[39] p. (
1 экз. )
|
3.
| Вычислительные системы [] : Сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. Вып. 148 : Логические методы в программировании : сборник научных трудов. - Новосибирск : Институт математики
, 1993. - 176 с. (
1 экз. )
|
4.
| Вычислительные системы [] : Сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. Вып. 139 : Теория вычислимости и языки спецификаций : сборник научных трудов. - Новосибирск : Институт математики
, 1991. - 192[2] с. (
1 экз. )
|
5.
| Вычислительные системы [] : Сборник научных трудов / Академия наук СССР. Сибирское отделение, Институт математики. Языки спецификаций и логическое программирование. - Новосибирск : Институт математики
, 1988. - 148 с. (
2 экз. )
|
6.
| Вычислительные системы [] : Сборник научных трудов / Российская Академия наук. Сибирское отделение, Институт математики им. С. Л. Соболева. Вып. 152 : Теория вычислений и языки спецификаций. - Новосибирск
, 1995. - 220 с. (
1 экз. )
|
|
|
Основная база библиотеки
Стандартный