На пути к автоматической верификации программ на языке C-Light. Смешанная аксиоматическая семантика языка C-Kernel = Towards the automatic verification of C-light programs. Mixed modified axiomatic semantics of C-kernel language / И. В. Марьясов
Параллельное заглавие: : z22790Towards the automatic verification of C-light programs. Mixed modified axiomatic semantics of C-kernel language, английскийДругие варианты заглавия: : Смешанная аксиоматическая семантика языка C-KernelЯзык: русский.Выходные данные: Новосибирск : Ин-т систем информатиики, 2008Физическая характеристика: 32 с. ; 21 см.Серия: Препринт ; 150Примечания: Авт. также на англ. яз.: I.V. Maryasov.Библиография: Библиогр.: с. 32 (6 назв.).Предметная рубрика - Тема: Программы(компьют.) -- Верификация | C, язык программирования Неконтролируемые предметные термины: C-LIGHT Другие классификации: ( rubbk ) З973.2-018-5-05,0 ; З973.2-018-07 Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Кол-во копий | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 9этаж | 2009-4/17717 (Просмотр полки(Открывается ниже)) | 5560 | Доступно | 3070368 | ||
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 9этаж | 2009-4/17717 (Просмотр полки(Открывается ниже)) | 5560 | Доступно | 3070369 |
Авт. также на англ. яз.: I.V. Maryasov
Библиогр.: с. 32 (6 назв.)