Проект верифицирующего компилятора F@BOOL@ = Verifying compiler F@BOOL@ / Е.В. Болдин, Н.А. Калинина, Н.В. Шилов
Параллельное заглавие: : z45790Verifying compiler F@BOOL@, английскийТома: Показать записиЯзык: русский.Выходные данные: Новосибирск : Прайс-курьер, 2005Физическая характеристика: 21 см.Серия: Препринт ; ...Примечания: Авт. также на англ. яз.: E. Bodin, N. Kalinina, N. Shilov.Предметная рубрика - Тема: Программы(компьют.) -- Верификация | Компиляторы(компьют.) Другие классификации: З973.2-018 Тип экземпляра: КнигаНет реальных экземпляров для этой записи
Авт. также на англ. яз.: E. Bodin, N. Kalinina, N. Shilov