Вы здесь
Hesselink W. H.
Автор:
Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
---|---|---|---|---|---|---|---|---|
СТ | Нет названия | 2007 | Hesselink W. H. | Acta Informatica | 26.06.2007 | |||
СТ | Angelic Termination ib Dijkstra s Calculus | 1995 | Hesselink W. H. | Lecture Notes in Computer Science | 30.03.2002 | |||
СТ | Bounded Delay for a Free Address | 1996 | Hesselink W. H. | Acta Informatica | 12.06.1996 | |||
СТ | Temporal Preconditions of Recursive Procedures | 1993 | Hesselink W. H., Reinds R. | Lecture Notes in Computer Science | 11.06.1993 | |||
СТ | Processes and Formalisms for Unbounded Choise | 1992 | Hesselink W. H. | Theoretical Computer Science | 30.06.1992 |