Тезисы доклада

Архив Архив С.С. Лаврова Конференции, семинары, совещания Объектно-ориентированное программирование : Всесоюзная конференция "Актуальные проблемы системного программирования"

Тезисы доклада

Тезисы доклада

Логический анализ объектно-ориентированного доказательного программирования

Дата:

16.01.1990 - 18.01.1990

Авторы:

Николай Николаевич Непейвода