软件工程形式化方法与语言 李莹.吴江琴
献给所有对技术抱有好奇心和热情的软件工程师们
下载地址
用户评论
学习形式化软件开发很好的图书。