9 | Ф79 | Формальні методи специфікації програм : навч. посіб. : [для студентів спец. ”Інженерія програм. забезпечення”, аспірантів та викладачів ВНЗ ф-тів комп’ютер., зокрема програм.-інженер., підгот., для спеціалістів, що розробляють приклад. алгоритми і програм. забезпечення] / [А. Ю. Дорошенко та ін.] ; М-во освіти і науки України, Київ. нац. ун-т ім. Т. Шевченка. — Київ : ВПЦ ”Київський університет”, 2018. — 367 с. : табл. *** | 1 | Природничі науки |   У корзину |