Подробности: Fourth workshop "Program semantics, specification and verification: theory and applications", Yekaterinburg, Russia, June 24, 2013 , [affiliated with the] 8th International computer science symposium in Russia , proceedings

Книга

Fourth workshop "Program semantics, specification and verification: theory and applications", Yekaterinburg, Russia, June 24, 2013 : [affiliated with the] 8th International computer science symposium in Russia; proceedings ; Valery Nepomniaschy, Valery Sokolov (eds.)

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

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

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