检索条件： Sere, K. ( 著者 )

检索结果共有2条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Integrated formal methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings /
责任者 Butler, Michael,,Petre, Luigia,,Sere, K.

出版信息 Springer, ,c2002.

ISBN 3-540-43703-7 (softcover : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Butler, Michael,,Petre, Luigia,,Sere, K..Integrated formal methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings /.Springer,,c2002..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Integrated formal methods : Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002 : proceedings /

Butler, Michael,,Petre, Luigia,,Sere, K..Springer,,c2002..
2 图书 FM 2008 : formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings /
责任者 Cuellar, Jorge.,Maibaum, Thomas S. E.,,Sere, K.

出版信息 Springer, ,c2008.

ISBN 9783540682356

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Cuellar, Jorge.,Maibaum, Thomas S. E.,,Sere, K..FM 2008 : formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings /.Springer,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

FM 2008 : formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings /

Cuellar, Jorge.,Maibaum, Thomas S. E.,,Sere, K..Springer,,c2008..

通借成功!

预约成功!