519.68 P93         Program Semantics, Specification and Verification: Theory and Applications [Текст] : Fourth Workshop: [Proceedings of the IV International Workshop PSSV 2013, Yekaterinburg, Russia, June 24, 2013]труды IV Междунар. семинара ПССВ 2013, Екатеринбург, Россия, июнь 24, 2013 = Семантика, спецификация и верификация программ: теория и приложения. - Ярославль : ЯрГУ, 2013. - 87 с. ; нет. - ISBN 978-5-8397-0935-5 : Б. ц. Авторизованный доступ для Академии МУБиНТ. Логин - ваш почтовый адрес от Office365, пароль - mubint УДК 519.68 ББК 22.185.2я43 Кл.слова (ненормированные): программирование -- кибернетика -- верификация -- программное -- обеспечение -- семантика -- спецификация -- верификация -- моделей -- программ Аннотация: Workshop on Program Semantics, Specification and Verification: Theory and Applications is the leading event in Russia in the field of applying of the formal methods to software analysis. Proceedings of the fourth workshop dedicated to formalisms for program semantics, formal models and verification, programming and specification languages, etc. Файл:  rucont.ru - 0Перейти: http://rucont.ru/efd/272145?urlId=CVUrnKLtT6d8qQYDpJ9Hn1mO9OxR4uMtCEAg6tE1n6+n6tAEI6JcG3QQLZrpUWLr8J6xu6/4L1ldN6DeQ6RUbQ== Доп.точки доступа: Nepomnyaschy, Valery \ктор.\; Sokolov, Valery \ктор.\; 8th International Computer Science Symposium in Russia Свободных экз. нет