Вы здесь
Back R. -J.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Invariant Based Programmming | 2006 | Back R. -J. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 31.08.2006 | ||
| СТ | Software Construction by Stepwise Feature Introduction | 2002 | Back R. -J. | Lecture Notes in Computer Science | 02.03.2002 | |||
| СТ | Analysing UML Use Cases as Contracts | 1999 | Back R. -J., Petre L., Paltor I. P. | Lecture Notes in Computer Science | 05.11.1999 | |||
| СТ | Fusion and Simultaneous Execution in the Refinement Calculus | 1998 | Back R. -J., Butler M. | Acta Informatica | 12.12.1998 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Transactions on Computational Systems Biology XIII | 2011 | Lecture Notes in Bioinformatics |
|
24.05.2011 | |||
| СБ | Transactions on Computational Systems Biology XI | 2009 | Lecture Notes in Bioinformatics |
|
21.11.2009 |