Вы здесь

Milkowska M.

Автор:

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