Вы здесь
Taguchi K.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | An Overview of Mobile Object-Z | 2002 | Taguchi K., Dong J. S. | Lecture Notes in Computer Science | 20.11.2002 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | IFM 99: Proc./1st International Conference on Integrated Formal Methods, York,28-29 June 1999 | 1999 |
|
31.01.2001 | ||||
| СБ | Formal Methods and Software Engineering: Proc./14th International Conference on Formal Engineering Mathods, ICFEM 2012, Kyoto, Japan, November 2012 | 2012 | Lecture Notes in Computer Science |
|
11.12.2012 |