Книги
   
Практикум по дедуктивной верификации программ: Учебно-методическое пособие. / Буздалов Д. В., Корныхин Е. В., Панферов А. А., Петренко А. К., Хорошилов А. В. — Москва: Факультет вычислительной математики и кибернетики МГУ, Москва: Издательство "МАКС Пресс", 2014 — 98 с., ил. Библ.: 6 — русский рез. английский. Учебник; Российская Федерация; ISBN 978-5-89407-531-0
 
Автор: 
 - Персоналии ( 5 )
 
Издательство: 
 - Организации ( 2 )
Постоянная ссылка (СИД) B13335637
Название Практикум по дедуктивной верификации программ: Учебно-методическое пособие
Город Москва
Город Москва
Издательство Факультет вычислительной математики и кибернетики МГУ
Издательство Издательство "МАКС Пресс"
Год 2014
Библиография (кол-во источников) Библ.: 6
Страницы/Объём 98 с.
Иллюстрации, карты ил.
Язык текста русский
Язык резюме английский
Характер издания Учебник
Страна Российская Федерация
ISBN 978-5-89407-531-0
Язык описания русский
Обозн. материала носителя текст в печатном издании
Канал поступления Рос. книжная палата (бесплатно)
Место хранения Фонды по информатике
Дата регистрации в ВИНИТИ 05.03.2015
Дата поступления в Фонды 23.03.2015
Шифр хранения (в Фондах) 681.3 - П-691
Инвентарный номер (в Фондах) A-6x-2015/15
Вид издания И.ИКТ.ОТ.НСР.АМО.УЧ