,

Necessary and Sufficient Conditions for University of Programming Formalisms (Partial Report).

, и .
Logic of Programs, том 164 из Lecture Notes in Computer Science, стр. 279-289. Springer, (1983)

Метаданные

тэги

Пользователи данного ресурса

  • @dblp

Комментарии и рецензии