Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium LEVERAGING APPLNS OF FORMAL ME [ Tiziana Margaria ]
LEVERAGING APPLNS OF FORMAL ME Tiziana Margaria Bernhard Steffen SPRINGER NATURE2010 Paperback English ISBN:9783642165603 洋書 Computers & Science(コンピューター&科学) Computers...楽天市場のショップで商品詳細の続きを見る