Вы здесь
Paul W.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Invariants, Modularity, and Rights | 2010 | Cohen E., Alkassar E., Boyarinov V., Dahlweid M., Degenbaev U., Hillebrand M., Langenstein B., Leinenbach D., Moskal M., Obua S., Paul W., Pentchev H., Petrova E., Santen T., Schirmer N., Schmaltz S., Schulte W., Shadrin A., Tobies S., Tsyban A., Tverdyshev S. | Lecture Notes in Computer Science | Perspectives of Systems Informatics | 13.04.2010 |
Редактор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СБ | Correct Hardware Design and Verification Methods: Proc./13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005. Saaerbruecken, Germany, October 2005 | 2005 | Lecture Notes in Computer Science |
|
06.12.2005 |