工业技术-自动化技术、计算机技术-计算技术、计算机技术-一般性问题-理论、方法-形式语言理论2015年相关图书-302edu教育资源网

2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 全部

计算系统的形式语义

系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法，并结合近年来形式语义...

2017.

形式化方法导论

鉴于形式化方法对软件工程的重要性， 2004 年 ACM 和 IEEE-CS 联合制订的软件工程教程《SE2004》将“形式化...

2015.

按标签分类