0
0
946
Second Workshop "Program semantics, specification and verification: theory and applications", St. Petersburg, Russia, June 12-13, 2011 : proceedings
Автор:
"Program semantics specification and verification: theory and application" workshop (2 2011 Saint-Petersburg)
Год:
2011
isbn:
978-5-8397-0812-9
Язык:
Английский
Страниц:
143
Описание:
"Program semantics, specification and verification: theory and application", workshop. 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.). - Yaroslavl : [s.n.], 2011. - [5], 143 с. : ил. ; 25 см. - Библиогр. в конце докл.
Рейтинг по отзывам:
4.5
Материалы:
Рубрики:
Программы(компьют.) → Съезды, совещания и т.п.
Примечания:
Библиогр. в конце докл.
Автор (ред., сост., организация):
"Computer science in Russia", international symposium (2011 , Saint-Petersburg)
Дата создания:
2021-03-24 13:31:46
Соц. сети:
Важно
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге
