Вы здесь

Harrison M. D.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Improving Hazard Classification through the Reuse of Descriptive Arguments 2002 Smith S. P., Harrison M. D. Lecture Notes in Computer Science 17.05.2002
СТ Prototyping Pre-implementation Designs of Virtual Environment Behaviour 2001 Willans J. S., Harrison M. D. Lecture Notes in Computer Science 06.02.2002
СТ A Review of Formalisms for Describing Interactive Behaviour 1995 Harrison M. D., Duke D. J. Lecture Notes in Computer Science 15.04.1995
СТ From Formal Models to Formal Methods 1995 Duke D. J., Harrison M. D. Lecture Notes in Computer Science 15.04.1995
СТ A Theory of Presentations 1994 Duke D. J., Harrison M. D. Lecture Notes in Computer Science 09.12.1994

Редактор: