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

检索结果共有2条

匹配度排行

出版/发布时间

在馆记录

检索筛选

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

出版信息 Springer, ,c2008.

ISBN 9783540797067

馆藏信息

图书信息

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

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 /

Leue, Stefan.,Merino, Pedro..Springer,,c2008..
2 图书 Model checking software : 9th International SPIN Workshop, Grenoble, France, April 2002 : proceedings /
责任者 Bo閟na閏ki, Dragan,,Leue, Stefan.

出版信息 Springer, ,2002.

ISBN 3-540-43477-1 (softcover : alk. paper)

馆藏信息

图书信息

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

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

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

Bo閟na閏ki, Dragan,,Leue, Stefan..Springer,,2002..

通借成功!

预约成功!