Формальная верификация диаграммы классов / Литвинов В. В., Богдан И. В. (2013)
Ukrainian

web address of the page http://jnas.nbuv.gov.ua/article/UJRN-0000134135
  Mathematical machines and systems  Б - 2020  /     Issue (2013, № 2)

Литвинов В. В., Богдан И. В.
Формальная верификация диаграммы классов

Бібліографічний опис:
Литвинов В. В., Богдан И. В. Формальная верификация диаграммы классов. Математичні машини і системи. 2013. № 2. С. 41-47. URL: http://jnas.nbuv.gov.ua/article/UJRN-0000134135

English  Mathematical machines and systems   /     Issue (2013, 2)

translit Transliteration

Litvinov V. V., Bogdan I. V.
Formalnaja verifikatsija diagrammy klassov

Cite:
Litvinov, V. V., Bogdan, I. V. (2013). Formalnaja verifikatsija diagrammy klassov. Mathematical machines and systems, 2, 41-47 http://jnas.nbuv.gov.ua/article/UJRN-0000134135 [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