Зведений каталог бібліотек Києва

 
Пошук Відібрані Опис документа
Початкова сторінка Сайт УФД

БуйдбБуй, Д. Б.
    Формальные методы разработки программного обеспечения [Текст] / Д.Б. Буй, А.М. Колегаев // Радіоелектронні і комп"ютерні системи : науково-технічний журнал. — Харків : ХАІ, 2014. — № 2 (66), квітень - червень. — С. 40-44.

- Ключові слова:

програмне забезпечення, програмні засоби, программное обеспечение, программные способы

- Анотація:

В статье рассматриваются основные концепции, которые легли в основау В метода и Event-В. Описан процесс построения абстрактных машин и определения их характеристик с использованием структур В метода.

- Є складовою частиною документа:

- Теми документа

  • Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ



Наявність
Установа Кількість Документ на сайті установи
Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка   Перейти на сайт