检索条件： Leue, Stefan. ( 著者 )

检索结果共有2条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Formal methods for industrial critical systems : 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers /
责任者

出版信息

ISBN 2008926951

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
.Formal methods for industrial critical systems : 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/293414
复制引文到剪贴板

Formal methods for industrial critical systems : 12th international workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007 : revised selected papers /

.,.
2 图书 Model checking software : 9th International SPIN Workshop, Grenoble, France, April 2002 : proceedings /
责任者

出版信息

ISBN 2002021114

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
.Model checking software : 9th International SPIN Workshop, Grenoble, France, April 2002 : proceedings /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

http://libopac.nudt.edu.cn:80/opac/book/151940
复制引文到剪贴板

Model checking software : 9th International SPIN Workshop, Grenoble, France, April 2002 : proceedings /

.,.

通借成功!

预约成功!