,

New Concepts for Amalgamation and Extension in the Framework of Specification Logics.

, , и .
Current Trends in Theoretical Computer Science, том 40 из World Scientific Series in Computer Science, World Scientific, (1993)

Метаданные

тэги

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

  • @dblp

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