Подробности: Second Workshop "Program semantics, specification and verification: theory and applications", St. Petersburg, Russia, June 12-13, 2011 , proceedings

Книга

Second Workshop "Program semantics, specification and verification: theory and applications", St. Petersburg, Russia, June 12-13, 2011 : proceedings / 6th Inter. computer science symp. in Russia ; Valery Nepomniaschy, Valery Sokolov (eds.)

Организация: "Program semantics, specification and verification: theory and application", workshop (2 ; 2011 ; Saint-Petersburg) Организация (Альтер.): "Computer science in Russia", international symposium (2011 ; Saint-Petersburg) Язык: английский.Выходные данные: Yaroslavl : [s.n.], 2011Физическая характеристика: [5], 143 с. : ил. ; 25 см.ISBN: 978-5-8397-0812-9 Библиография: Библиогр. в конце докл..Предметная рубрика - Тема: Программы (компьют.) -- Съезды, совещания и т.п. Другие классификации: З973.2-018я431(0)Коллекция: Национальная библиография Тип экземпляра: Книга

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

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