302EDU
2015 2014 2009 2005 全部
搜索分类
形式化软件规约Radl获取、验证与确认方法

本书面向从事计算机软件科学研究的科研人员及计算机相关专业的高校教师和研究生，向读者介绍形式化软件规约...

2014.

按中图号分类
按出版社分类

版权声明：本网站所有资源来源于网络，著作权及版权归原作者所有。本网站尊重并保护知识产权，根据《信息网络传播权保护条例》，如果我们转载的作品侵犯了您的权利，请在一个月内通知我们，我们会及时删除。