登录/注册
下载豆瓣客户端
豆瓣
6.0
全新发布
×
豆瓣
扫码直接下载
iPhone
·
Android
豆瓣
读书
电影
音乐
同城
小组
阅读
FM
时间
豆品
豆瓣读书
搜索:
购书单
电子图书
2023年度榜单
2023年度报告
Understanding Formal Methods 短评
读过
在读
想读(1)
我来写短评
热门
最新
0
有用
Rigel
2022-03-08 00:43:08
形式化方法
<< 首页
< 前页
后页 >
>
Understanding Formal Methods
作者:
Jean-Franceois Monin
isbn:
1852332476
书名:
Understanding Formal Methods
页数:
276
出版社:
Springer
出版年:
2003
0 有用 Rigel 2022-03-08 00:43:08
形式化方法