Подробности: Fifth workshop "Program semantics, specification and verification: theory and applications", Moscow, Russia, June 6, 2014 , [affiliated with] 9th International computer science symposium in Russia , proceedings

Книга

Fifth workshop "Program semantics, specification and verification: theory and applications", Moscow, Russia, June 6, 2014 : [affiliated with] 9th International computer science symposium in Russia; proceedings / Valery Nepomniaschy, Valery Sokolov (eds.)

Организация: "Program semantics, specification and verification: theory and application", workshop (5 ; 2014 ; Moscow) Автор (Вторич.): Nepomnjaščij, Valerij Aleksandrovič (1939-), Редактор Организация (Альтер.): "Computer science in Russia", international symposium (9 ; 2014 ; Moscow) Язык: английский.Выходные данные: Moscow : [s. n.], 2014Физическая характеристика: IV, 78 с. : ил. ; 29 см.Библиография: Библиогр. в конце докл..Предметная рубрика - Тема: Программирование (компьют.) -- Съезды, совещания и т.п Другие классификации: З973.2-018я431Коллекция: Национальная библиография Тип экземпляра: Книга

Экземпляры
Тип экземпляра	Текущая библиотека	Шифр хранения	Кол-во копий	Статус	Срок возврата	Штрих-код
Книга	РНБ (Московский) Иностранный книжный фонд	Ик 2014-8/240 (Просмотр полки(Открывается ниже))	3512	Доступно		1-715221

4й семинар 2013

Библиогр. в конце докл.