Вы здесь
Miao H.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | A Specification-Based Software Construction Framework for Reuse | 2002 | Liu J., Miao H., Gao X. | Lecture Notes in Computer Science | 20.11.2002 | |||
| СТ | Formalizing UML Models with Object-Z | 2002 | Miao H., Liu L., Li L. | Lecture Notes in Computer Science | 20.11.2002 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Formal Methods and Software Engineering: Proc./4th Intern. Conf. on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 2002 | 2002 | Lecture Notes in Computer Science |
|
20.11.2002 | |||
| СБ | Structured Object-Oriented Formal Language and Method: Revised Selected Papers/9th International Workshop, SOFL+MSVL 2019, Shenzhen, China, November 2019 | 2020 | Lecture Notes in Computer Science |
|
18.03.2020 |