0
0
2421
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
Автор:
"Program semantics specification and verification: theory and application" workshop (4 2013 Yekaterinburg)
Год:
2013
isbn:
978-5-8397-0935-5
Язык:
Английский
Страниц:
80
Описание:
"Program semantics, specification and verification: theory and application", workshop. 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.). - Yekaterinburg : [s.n.], 2013. - VI, 80 с. : ил. ; 28 см. - Библиогр. в конце докл.
Рейтинг по отзывам:
4.5
Материалы:
Рубрики:
Программирование(компьют.) → Съезды, совещания и т.п
Примечания:
Библиогр. в конце докл.
Автор (ред., сост., организация):
"Computer science in Russia", international symposium (8 , 2013 , Yekaterinburg)
Другие ответственные лица:
Nepomnjaščij, Valerij Aleksandrovič (1939-) → Редактор
Дата создания:
2021-11-08 21:42:30
Соц. сети:
Важно
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге
