Second Workshop "Program semantics, specification and verification: theory and applications", St. Petersburg, Russia, June 12-13, 2011, proceedings
Ик 2011-7/1352 - 100 экз.978-5-8397-0812-9/английский/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.).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.Second Workshop "Program semantics, specification and verification: theory and applications", St. Petersburg, Russia, June 12-13, 2011 : proceedings.Yaroslavl/[s.n.]/, 2011 ( ). - [s.n.], 2011. - [5], 143 с. : ил. ; 25 см.Second Workshop "Program semantics, specification and verification: theory and applications", St. Petersburg, Russia, June 12-13, 2011 : proceedings. Yaroslavl, 2011 .
Библиогр. в конце докл. Библиогр. в конце докл.Программы (компьют.) -- Съезды, совещания и т.п./З973.2-018я431(0)/ "Program semantics, specification and verification: theory and application", workshop ( 2; 2011; Saint-Petersburg ). "Computer science in Russia", international symposium (; 2011; Saint-Petersburg)/
Библиогр. в конце докл. Библиогр. в конце докл.Программы (компьют.) -- Съезды, совещания и т.п./З973.2-018я431(0)/ "Program semantics, specification and verification: theory and application", workshop ( 2; 2011; Saint-Petersburg ). "Computer science in Russia", international symposium (; 2011; Saint-Petersburg)/