Одеська національна наукова бібліотека

понеділок, вівторок, середа, четвер, субота і неділя – з 10.00 до 18.00
Вихідний день – п’ятниця. Останній четвер місяця – санітарний день

Електронний каталог

Відображає документи,
що надійшли до бібліотеки з 2001 р.

Пошук :

Недоступно
0 из 1

Книга
Автор:
Formal program development methods : a textbook
Видавництво: PPC "Kyiv University", 2021 г.
ISBN 978-966-933-180-9

(UA) Книга
928842 Главный филиал

Formal program development methods : a textbook / A. Yu. Doroshenko, Ie. V. Ivanov, M. S. Nikitchenko, O. A. Yatsenko, K. A. Zhereb, Taras Shevchenko Nat. Univ. of Kyiv.– Kyiv : PPC "Kyiv University", 2021.– 351 p. : tab., schem.
100 cop.– Bibliogr.: p. 297-311 . – На англ. яз.
ISBN 978-966-933-180-9.