Верификация программ: состояние, проблемы, экспериментальные результаты. I / Максимец А. Н. (2013)
Ukrainian

web address of the page http://jnas.nbuv.gov.ua/article/UJRN-0000065987
  Problems in programming  Б - 2020  /     Issue (2013, № 4)

Максимец А. Н.
Верификация программ: состояние, проблемы, экспериментальные результаты. I

Бібліографічний опис:
Максимец А. Н.  Верификация программ: состояние, проблемы, экспериментальные результаты. I. Проблеми програмування. 2013. № 4. С. 53-63. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000065987

English  Problems in programming   /     Issue (2013, 4)

translit Transliteration

Maksimets A. N.
Verifikatsija programm: sostojanie, problemy, eksperimentalnye rezultaty. I

Cite:
Maksimets, A. N. (2013). Verifikatsija programm: sostojanie, problemy, eksperimentalnye rezultaty. I. Problems in programming, 4, 53-63 http://jnas.nbuv.gov.ua/article/UJRN-0000065987 [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