Вы здесь
Jain H.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Model Checking: Back and Forth between Hardware and Software | 2008 | Clarke E., Gupta A., Jain H., Veith H. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 03.10.2008 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Service-Oriented Perspectives in Design Science Research: Proc./6th International Conference, DESRIST 2011, Milwaukee,WI,USA, May 2011 | 2011 | Lecture Notes in Computer Science |
|
26.07.2011 |