Опис документа:
| |
Шифр: |
6 |
Авт. знак: |
Форм |
Автор: | Дорошенко А.Ю., Жереб К.А., Іванов Є.В., Нікітченко М.С., Яценко О.А. |
Назва: | Формальні методи специфікації програм |
Від. щодо назв.: |
навч. посібник |
Відповідальність: |
[А.Ю. Дорошенко, К.А. Жереб, Є.В. Іванов та ін.] ; М-во освіти і науки України, Київ. нац. ун-т ім. Тараса Шевченка |
Видавництво: | Київський університет |
Місто: | Київ |
Рік: | 2018 |
Сторінок: | 367, [1] с. |
ББК: |
З97 |
ISBN: | 978-966-439-990-3 |
Тип документу: |
Книга |
Місце знаходження: |
чит. зал №35Читальний зал колекції видань університету вул. Володимирська, 58, кім. 35 |
Примітки: |
Авт. зазнач. на звороті тит. арк. |
Пошук: заповніть хоча б одне з полів
|
|