Semantics with Applications-Hanne Riis Nielson, Flemming Nielson

是 否 +2 论坛币

k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群

赵安豆老师微信：zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

立即领取

感谢您参与论坛问题回答

经管之家送您两个论坛币！

+2 论坛币

Semantics with applications an appetizer (Nielson, FlemmingNielson, Hanne Riis)



Keywords        Axiomatic semantics, Operational Semantics, Proof Systems, Security Validation, Static Analysers
Book title        Semantics with Applications
Editors        Hanne Riis Nielson, Flemming Nielson
Year        2007    Month March    pp. 274
Publisher        Springer
Series        Undergraduate Topics in Computer Science
ISBN / ISSN        978-1-84628-691-9

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

分享0 收藏0 回帖

关键词：Applications Application Semantic Nielson cation

谢谢分享！