|
Program Semantics, Specification and Verification: Theory and ApplicationsProgram Semantics, Specification and Verification: Theory and Applications 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. 
Итого: 190.00руб. Купить Вы можете купить электронную версию издания «Program Semantics, Specification and Verification: Theory and Applications». После оплаты (для архивов) оно будет доступно в Личном Кабинете в разделе «Электронные издания». В случае оформления подписки, издание будет доступно по мере поступления от издателя. Формат PDF/HTML. Стоимость — от 190.00 руб. |
