The mixed axiomatic semantics method = Метод смешанной аксиоматической семантики / I.V. Maryasov
Параллельное заглавие: : z45790Метод смешанной аксиоматической семантики, русскийЯзык: английский ; резюме, русский.Выходные данные: Novosibirsk : A.P. Ershov inst. of informatics systems, 2011Физическая характеристика: 42 с. ; 20 см.Серия: Preprint ; 160Примечания: Авт. также на рус. яз.: И.В. Марьясов; Рез. на рус. яз..Библиография: Библиогр.: с. 41-42 (11 назв.).Предметная рубрика - Тема: Программы(компьют.) -- Верификация Другие классификации: З973.2-018-07 Тип экземпляра: Книга| Тип экземпляра | Текущая библиотека | Шифр хранения | Статус | Срок возврата | Штрих-код | |
|---|---|---|---|---|---|---|
| Книга | РНБ (Московский) Иностранный книжный фонд | Ик 2012-4/65 (Просмотр полки(Открывается ниже)) | Доступно | 1-75599 |
Авт. также на рус. яз.: И.В. Марьясов
Рез. на рус. яз.
Библиогр.: с. 41-42 (11 назв.)