Система доказательного программирования / Летичевский А. А., Мороховец М. К., Песчаненко В. С. (2012)
Ukrainian

web address of the page http://jnas.nbuv.gov.ua/article/UJRN-0000308308
  Control Systems and Computers   Б - 2020  /     Issue (2012, № 6)

Летичевский А. А., Мороховец М. К., Песчаненко В. С.
Система доказательного программирования

Бібліографічний опис:
Летичевский А. А., Мороховец М. К., Песчаненко В. С. Система доказательного программирования. Управляющие системы и машины. 2012. № 6. С. 64-71. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000308308

English  Control Systems and Computers   /     Issue (2012, 6)

translit Transliteration

Letichevskij A. A., Morokhovets M. K., Peschanenko V. S.
Sistema dokazatelnogo programmirovanija

Cite:
Letichevskij, A. A., Morokhovets, M. K., Peschanenko, V. S. (2012). Sistema dokazatelnogo programmirovanija. Control Systems and Computers, 6, 64-71 http://jnas.nbuv.gov.ua/article/UJRN-0000308308 [In Russian].

 

Institute of Information Technologies of VNLU

+38 (044) 525-36-24
libnas@nbuv.gov.ua
Ukraine, 03039, Kyiv, Holosiivskyi Ave, 3, room 209