Third Workshop "Program semantics, specification and verification: theory and applications", Nizhni Novgorod, Russia, July 1-2, 2012, proceedings
Ик 2012-7/1608 - 70 экз.978-5-91326-183-0/английский/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.).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.Third Workshop "Program semantics, specification and verification: theory and applications", Nizhni Novgorod, Russia, July 1-2, 2012 : proceedings.Nizhni Novgorod/Nizhni Novgorod state univ./, 2012 ( ). - Nizhni Novgorod state univ., 2012. - 149 с. : ил. ; 24 см.Third Workshop "Program semantics, specification and verification: theory and applications", Nizhni Novgorod, Russia, July 1-2, 2012 : proceedings. Nizhni Novgorod, 2012 .
Библиогр. в конце докл. Библиогр. в конце докл.Программы (компьют.) -- Съезды, совещания и т.п./З973.2-018я431(0)/ "Program semantics, specification and verification: theory and application", workshop ( 3; 2012; Nizhni Novgorod ). "Computer science in Russia", international symposium (; 2012; Nizhni Novgorod)/
Библиогр. в конце докл. Библиогр. в конце докл.Программы (компьют.) -- Съезды, совещания и т.п./З973.2-018я431(0)/ "Program semantics, specification and verification: theory and application", workshop ( 3; 2012; Nizhni Novgorod ). "Computer science in Russia", international symposium (; 2012; Nizhni Novgorod)/