Проверка правильности логических утверждений о программах на языке СЕТЛ | Мемориальная библиотека А.П. Ершова

Вы здесь

Автор:

Черноброд Л. В.

Количество экземпляров:

1

Колл. автор:

ВЦ СО АН СССР

Вид:

Препринт

Год:

1974

Ключевые слова:

проверка

логический

утверждение

Стр.:

30 с.

Библиография:

Библиогр.: c.30

Место издания:

Новосибирск

Источник:

Карточка:

Черноброд Л. В..

Проверка правильности логических утверждений о программах на языке СЕТЛ-Новосибирск., 1974.-30 с.
Библиогр.: c.30