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

інтернет-адреса сторінки: http://jnas.nbuv.gov.ua/article/UJRN-0000308308
  Управляющие системы и машины   Б - 2020  /     Випуск (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].

 

Інститут інформаційних технологій НБУВ

+38 (044) 525-36-24
libnas@nbuv.gov.ua
Голосіївський просп., 3, к. 209
м. Київ, 03039, Україна