Вы здесь

Главная

Woodcock J.C. P.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Non-interference through Determinism 1994 Roscoe A. W., Woodcock J.C. P., Wulf L. Lecture Notes in Computer Science 06.12.1994

Редактор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СБ FME`93: Industrial-Strength Formal Methods: Proc./First Intern. Symp. of Formal Methods Europe. Odense, Denmark, April 1993 1993 Lecture Notes in Computer Science
  1. Woodcock J.C. P.
  2. Larsen P. G.
 26.05.1993
СБ Mathematics of Program Construction: Proc./Second Intern. Conf. Oxford, U.K., June/July 1992 1993 Lecture Notes in Computer Science
  1. Bird R. S.
  2. Morgan C. C.
  3. Woodcock J.C. P.
 28.04.1993