Вы здесь
Pierik C.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | How to Cook a Complete Hoare Logic for Your Pet OO Language | 2004 | de Boer F. S., Pierik C. | Lecture Notes in Computer Science | Lecture Notes in Computer Science | 12.02.2005 | ||
| СТ | A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts | 2003 | Pierik C., de Boer F. S. | Lecture Notes in Computer Science | 18.12.2003 |