Подробности: Third Workshop "Program semantics, specification and verification: theory and applications", Nizhni Novgorod, Russia, July 1-2, 2012 , proceedings

Книга

Third Workshop "Program semantics, specification and verification: theory and applications", Nizhni Novgorod, Russia, July 1-2, 2012 : proceedings / 7th Intern. computer science symp. in Russia ; Valery Nepomniaschy, Valery Sokolov (eds.)

Организация: "Program semantics, specification and verification: theory and application", workshop (3 ; 2012 ; Nizhni Novgorod) Автор (Вторич.): Nepomnjaščij, Valerij Aleksandrovič (1939-), РедакторОрганизация (Альтер.): "Computer science in Russia", international symposium (7 ; 2012 ; Nizhni Novgorod) Язык: английский.Выходные данные: Nizhni Novgorod : Nizhni Novgorod state univ., 2012Физическая характеристика: 149 с. : ил. ; 24 см.ISBN: 978-5-91326-183-0 Библиография: Библиогр. в конце докл..Предметная рубрика - Тема: Программы (компьют.) -- Съезды, совещания и т.п. Другие классификации: З973.2-018я431(0)Коллекция: Национальная библиография Тип экземпляра: Книга

Экземпляры
Тип экземпляра	Текущая библиотека	Шифр хранения	Статус	Примечания	Срок возврата	Штрих-код
Книга	РНБ (Московский) Иностранный книжный фонд	Ик 2012-7/1608 (Просмотр полки(Открывается ниже))	Доступно	;		1104998

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