Формальные методы разработки критического программного обеспечения : лекц. материал / О. М. Тарасюк, А. В. Горбенко ; под ред. В. С. Харченко
Вид матеріалу:
Текст Серія: Tempus. Education and CultureПублікація: Харьков : ХАИ, 2009Опис: 214 сISBN: - 978-966-96770-8-2
Книги
| Тип одиниці зберігання | Поточна бібліотека | Шифр зберігання | Стан | Штрих-код | |
|---|---|---|---|---|---|
|
Книги
|
Читальний зал № 1 (тех. л-ра) | 32.973.2-018/Т19 (Огляд полиці(Відкривається нижче)) | Доступно | 00000021737 |
Огляд полиці бібліотеки/підрозділу: „CNTU Library“ Зачинити оглядач полиці (Зачинити оглядач полиці)
| 32.973.2-018.2я7/О-75 Основи системного програмування : навч. посіб / | 32.973.2-018.2я7/О-75 Основи системного програмування : навч. посіб / | 32.973.2-018.2я7/О-75 Основи системного програмування : навч. посіб / | 32.973.2-018/Т19 Формальные методы разработки критического программного обеспечения : лекц. материал / | 32.973.2-018я7/І-62 Інженерія програмного забезпечення : навч. посіб / | 32.973.2-018я7/І-62 Інженерія програмного забезпечення : навч. посіб / | 32.973.2-018я7/І-62 Інженерія програмного забезпечення : навч. посіб / |