Опис документа:
| |
Автор: | Глибовець М.М., Медведєв М.Г. |
Назва: | Використання апарату часових логік для дослідження основних властивостей програм |
Рік: | 1996 |
Сторінок: | С. 187-191 |
Тип документу: |
Стаття |
Головний документ: |
Вісник Київського університету імені Тараса Шевченка |
Анотація: | Розглядається аналіз основних властивостей програм на базі апарату часових логік. |
Пошук: заповніть хоча б одне з полів
|
|