Применение смешанной аксиоматической семантики языка C-kernel к верификации программы топологической сортировки = Applying the mixed axiomatic semantics of C-kernel language to the verification of topological sorting program / И. В. Марьясов
Параллельное заглавие: : Applying the mixed axiomatic semantics of C-kernel language to the verification of topological sorting program, английскийЯзык: русский ; резюме, английский.Выходные данные: Новосибирск : Институт систем информатики СО РАН, 2010Физическая характеристика: 34 с. ; 21 см.Серия: Препринт ; 155Примечания: Рез. на англ. яз..Библиография: Библиогр.: с. 20 (8 назв.).Предметная рубрика - Тема: Программы(компьют.) -- Верификация | C, язык программирования Другие классификации: З973.2-018-07 Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Кол-во копий | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 8этаж | 2010-4/12631 (Просмотр полки(Открывается ниже)) | 4560 | Доступно | 3266827 | ||
| Книга | РНБ (Московский) Русский книжный фонд: издания с 1957 года, 8этаж | 2010-4/12631 (Просмотр полки(Открывается ниже)) | 4560 | Доступно | 3266832 |
Рез. на англ. яз.
Библиогр.: с. 20 (8 назв.)