Отображение 1 - 5 результаты of 5 для поиска '"Specification techniques."', время запроса: 0.02сек. Отмена результатов
  1. 1

    Compositional refinement of interactive systems. по Broy, Manfred

    Опубликовано в: Journal of the ACM
    Статья
  2. 2

    Relational analysis of algebraic datatypes. по Kuncak, Viktor

    Опубликовано в: Software engineering notes.
    Статья
  3. 3

    Interface automata. по De Alfaro, Luca

    Опубликовано в: Software engineering notes.
    Статья
  4. 4
  5. 5

    Register-machine based processes. по Bergstra, Jan A.

    Опубликовано в: Journal of the ACM
    Статья