Вы здесь

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