Вы здесь
Nieminen J.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Tampere Verification Tool | 2004 | Virtanen H., Hansen H., Valmari A., Nieminen J., Erkkila T. | Lecture Notes in Computer Science | 15.05.2004 |
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Tampere Verification Tool | 2004 | Virtanen H., Hansen H., Valmari A., Nieminen J., Erkkila T. | Lecture Notes in Computer Science | 15.05.2004 |