Простийпошук |
Розширенийпошук |
Покажчики
|
Професійний пошук |
Рубрикатор НБУВ |
Розподілений пошук |
Бази даних
Наукова періодика України - результати пошуку
Книжкові видання та компакт-дискиЖурнали та продовжувані виданняАвтореферати дисертаційРеферативна база данихНаукова періодика УкраїниТематичний навігаторАвторитетний файл імен осіб
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Повнотекстовий пошук
| Знайдено в інших БД: | Книжкові видання та компакт-диски (1) | Реферативна база даних (2) |
Список видань за алфавітом назв: Авторський покажчик Покажчик назв публікацій  |
Пошуковий запит: (<.>A=Тави М$<.>) | |||
|
Загальна кількість знайдених документів : 1 |
|||
| 1. | 
Жолткевич Г. Н. Об одной модели программ в задачах формальной верификации [Електронний ресурс] / Г. Н. Жолткевич, И. Д. Перепелица, Ю. В. Соляник, М. Тави // Радіоелектронні і комп’ютерні системи. - 2009. - № 7. - С. 182–185. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2009_7_34 Введен класс математических моделей программ, описываемый в терминах языкового каркаса, который базируется на языке охраняемых команд Э. Дейкстры. Определены модели вычислений, названные системами правил перехода. В терминах этих систем описана семантика программ и дана строгая постановка задачи верификации. | ||
Попередній перегляд: 
Реферативна БД
 |
| Відділ наукової організації електронних інформаційних ресурсів |
 Пам`ятка користувача |