Logo BSU

  1. Электронная библиотека БГУ
  2. Архив журналов БГУ
  3. «Вестник БГУ» : научно-теоретический журнал Белорусского государственного университета
  4. Вестник БГУ. Серия 1, Физика. Математика. Информатика.
  5. 1987, №1 (январь)
Даты публикации Авторы Заглавия Темы
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот документ: https://elib.bsu.by/handle/123456789/277695
Заглавие документа: Об автоматическом доказательстве правильности программ в системе функционального программирования
Авторы: Зубович, К. А.
Мелешко, А. Н.
Тема: ЭБ БГУ::ЕСТЕСТВЕННЫЕ И ТОЧНЫЕ НАУКИ::Математика
Дата публикации: 1987
Издатель: Минск : Университетское
Библиографическое описание источника: Вестник Белорусского государственного университета имени В. И. Ленина. Сер. 1, Физика. Математика. Механика. – 1987. – № 1. – С. 31-34.
URI документа: https://elib.bsu.by/handle/123456789/277695
ISSN: 0321-0367
Лицензия: info:eu-repo/semantics/openAccess
Располагается в коллекциях:1987, №1 (январь)

Полный текст документа:
Файл Описание РазмерФормат 
31-34.pdf303,82 kBAdobe PDFОткрыть
Показать полное описание документа Статистика Google Scholar



Все документы в Электронной библиотеке защищены авторским правом, все права сохранены.