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

інтернет-адреса сторінки: http://jnas.nbuv.gov.ua/article/UJRN-0000134135
  Математичні машини і системи  Б - 2020  /     Випуск (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].

 

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

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