Fifth workshop "Program semantics, specification and verification: theory and applications", Moscow, Russia, June 6, 2014, [affiliated with] 9th International computer science symposium in Russia, proceedings
Ик 2014-8/240 [2014-57927]/английский/Fifth workshop "Program semantics, specification and verification: theory and applications", Moscow, Russia, June 6, 2014 : [affiliated with] 9th International computer science symposium in Russia : proceedings / Valery Nepomniaschy, Valery Sokolov (eds.).Fifth workshop "Program semantics, specification and verification: theory and applications", Moscow, Russia, June 6, 2014 : [affiliated with] 9th International computer science symposium in Russia : proceedings / Valery Nepomniaschy, Valery Sokolov (eds.).Fifth workshop "Program semantics, specification and verification: theory and applications", Moscow, Russia, June 6, 2014 : [affiliated with] 9th International computer science symposium in Russia : proceedings.Moscow/[s. n.]/, 2014 ( ). - [s. n.], 2014. - IV, 78 с. : ил. ; 29 см.Fifth workshop "Program semantics, specification and verification: theory and applications", Moscow, Russia, June 6, 2014 : [affiliated with] 9th International computer science symposium in Russia : proceedings. Moscow, 2014 .
Библиогр. в конце докл. Библиогр. в конце докл.Программирование (компьют.) -- Съезды, совещания и т.п/З973.2-018я431/ "Program semantics, specification and verification: theory and application", workshop ( 5; 2014; Moscow ). "Computer science in Russia", international symposium (; 2014; Moscow)/
Библиогр. в конце докл. Библиогр. в конце докл.Программирование (компьют.) -- Съезды, совещания и т.п/З973.2-018я431/ "Program semantics, specification and verification: theory and application", workshop ( 5; 2014; Moscow ). "Computer science in Russia", international symposium (; 2014; Moscow)/