Вы здесь

Nordemann F.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Categorical Interpretation of Partial Function Logic and Hoare Logic 1992 Knijnenburg P.M. W., Nordemann F. Lecture Notes in Computer Science 06.08.1992