大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 formal_methods 的图书(共3本)

进程代数 : 对称与动作细化

0
索取号：TP301.6/20078
作者：王永祥、吴尽昭、蒋建民、
出版社：北京 : 科学出版社, 2007

交互式马尔可夫链 : 并发系统的设计、验证与评价

0
索取号：O211.62/20071
作者：吴尽昭、王永祥、覃广平、
出版社：北京 : 科学出版社, 2007

软件开发的形式化方法

0
索取号：620520
作者：古天龙、
出版社：北京 : 高等教育出版社, 2005