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

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

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

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

Пошук :

  • Нові надходження
  • Простий пошук
  • Автори
  • Видавництва
  • Серії
  • Тезауруси
  • Індекси УДК

Довідка :

  • Як освоїти пошук в ЕК
  • Приклади оформлення бланка вимоги
  • Перелік наукових спеціальностей
  • Скорочені таблиці УДК українською мовою на веб-сайті UDCS

Електронний каталог : Формальні методи специфікації програм

Формальні методи специфікації програм

Формальні методи специфікації програм
Недоступно
 0 из 1
Книга
Автор:
Формальні методи специфікації програм : навч. посіб.
Видавництво: ВПЦ "Київський університет", 2018 г.
ISBN 978-966-439-990-3

(UA) Книга
XIII> 72235
933631 Главный филиал

Формальні методи специфікації програм : навч. посіб. / Анатолій Юхимович Дорошенко, Костянтин Анатолійович Жереб, Євген В'ячеславович Іванов, М. С. Нікітченко, О. А. Яценко, Київ. нац. ун-т ім. Т. Шевченка.– Київ : ВПЦ "Київський університет", 2018.– 367 с. : табл.
100 пр.– Авт. зазнач. на звороті тит. арк.– Бібліогр.: с. 310-332 . – На укр. яз.
ISBN 978-966-439-990-3.






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