Automatic verification of counter systems via domain-specific multi-result supercompilation / Andrei V. Klimov, Ilya G. Klyuchnikov, Sergei A. Romanenko
Другие варианты заглавия: : Автоматизированная верификация счетчиковых систем посредством предметно-ориентированной многорезультатной суперкомпиляцииЯзык: английский.Выходные данные: Moscow : [s.n.], 2012Физическая характеристика: 28 с. : схем. ; 21 см.Серия: Препринт ; N 19 за 2012 г. ; 2071-2898Примечания: На обороте тит. л.: Автоматизированная верификация счетчиковых систем посредством предметно-ориентированной многорезультатной суперкомпиляции / Андрей Климов, Илья Ключников, Сергей Романенко; На обл. надзаг. на рус. яз.; Рез. на рус. яз..Библиография: Библиогр.: с. 25-28 (42 назв.).Предметная рубрика - Тема: MRSC, компиляторы(компьют.) Другие классификации: З973.2-018-5-05 Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Иностранный книжный фонд | Ик 2012-4/64 (Просмотр полки(Открывается ниже)) | Доступно | 1-78737 |
На обороте тит. л.: Автоматизированная верификация счетчиковых систем посредством предметно-ориентированной многорезультатной суперкомпиляции / Андрей Климов, Илья Ключников, Сергей Романенко
На обл. надзаг. на рус. яз.
Рез. на рус. яз.
Библиогр.: с. 25-28 (42 назв.)