Вы здесь
Milkowska M.
Автор:
| Вид | Название | Год | Автор | Серия | Редакторы | Колл. автор | Источник | Дата поступления |
|---|---|---|---|---|---|---|---|---|
| СТ | Proving Correctness and Completeness of Normal Programs - A Declarative Approach | 2001 | Drabent W., Milkowska M. | Lecture Notes in Computer Science | 08.11.2001 | |||
| СТ | Readable, Runnable Requirements Specifications in SPILL-2 | 1994 | Kluzniak F., Milkowska M. | Lecture Notes in Computer Science | 13.10.1994 |