Вы здесь
Loeckx J.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Experiences with a Specification Environment | 1995 | Loeckx J., Zeyer J. | Lecture Notes in Computer Science | KORSO: Methods, Languages, and Tools for the Construction of Correct Software | 28.12.1995 | ||
М | Computability and Decidability | 1972 | Loeckx J. | Lecture Notes in Economics and Mathematical Systems | An Introduction for Students of Computer Science | 09.06.1995 | ||
СТ | OBSCURE a specification language for abstract data types | 1993 | Lehmann Th., Loeckx J. | Acta Informatica | 21.08.1993 |