Вы здесь
Bradfield J.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Trandfinite Extension of the Mu-Calculus | 2005 | Bradfield J., Duparc J., Quickert S. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 19.10.2005 | ||
| СТ | Enriching OCL Using Observational Mu-Calculus | 2002 | Bradfield J., Filipe J. K., Stevens P. | Lecture Notes in Computer Science | 15.05.2002 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Computer Science logic: Proc./16th Intern. Workshop, CSL 2002, 11th Annual Conf. of the EACSL, Edinburgh, Scotland, UK, September 2002 | 2002 | Lecture Notes in Computer Science |
|
23.10.2002 |