Вы здесь

Morgan C.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ The Generalised Substitution Language Extended to Probabilistic Programs 1998 Morgan C. Lecture Notes in Computer Science 17.06.1998
СТ The Refinement Calculus, and Literate Development 1993 Morgan C. Lecture Notes in Computer Science 08.02.1994
СТ Data refinement of predicate transformers 1991 Gardiner P., Morgan C. Theoretical Computer Science 15.10.1991