Вы здесь
Borzyszkowski A.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Towards a Set-Theoretic Type Theory | 1988 | Borzyszkowski A., Kubiak R., Leszczylowski J., Sokolowski S. | PAS | 28.05.1992 | |||
| П | The Dynamic Semantics of the BSI/VDM. Specification Language | 1990 | Larsen P. G., Tarlecki A., Pawlowski W., Borzyszkowski A., Wieth M. | Techn.Univ.Denmark | 26.05.1992 |