На пути к верификации С-программ = Towards the verification of C programs / В.А. Непомнящий, И.С. Ануреев, И.Н. Михайлов, А.В. Промский
Параллельное заглавие: : Towards the verification of C programs, английскийТома: Показать записиЯзык: русский.Выходные данные: Новосибирск : Эмари, 2001Физическая характеристика: 20 см.Серия: Препринт ; ...Примечания: Авт. также на англ. яз.: V.A. Nepomniaschy, L.S. Anureev, I.N. Michailov, A.V. Promsky.Предметная рубрика - Тема: Программы (компьют.) -- Верификация | C, язык программирования Другие классификации: З973.2-018-07Коллекция: Национальная библиография Тип экземпляра: КнигаНет реальных экземпляров для этой записи
Авт. также на англ. яз.: V.A. Nepomniaschy, L.S. Anureev, I.N. Michailov, A.V. Promsky