检索条件： Boer, Frank S. de. ( 著者 )

检索结果共有6条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Formal methods for components and objects : 6th international symposium, FMCO 2007, Amsterdam, the Netherlands, October 24-26, 2007 : revised lectures /
责任者 Boer, Frank S. de.

出版信息 Springer, ,c2008.

ISBN 9783540921875

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Boer, Frank S. de..Formal methods for components and objects : 6th international symposium, FMCO 2007, Amsterdam, the Netherlands, October 24-26, 2007 : revised lectures /.Springer,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Formal methods for components and objects : 6th international symposium, FMCO 2007, Amsterdam, the Netherlands, October 24-26, 2007 : revised lectures /

Boer, Frank S. de..Springer,,c2008..
2 图书 Formal methods for components and objects : 5th international symposium, FMCO 2006, Amsterdam, the Netherlands, November 7-10, 2006 : revised lectures /
责任者 BOER, Frank S. de.

出版信息 Springer, ,c2007.

ISBN 978-3-540-74791-8 (softcover : alk. paper)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
BOER, Frank S. de..Formal methods for components and objects : 5th international symposium, FMCO 2006, Amsterdam, the Netherlands, November 7-10, 2006 : revised lectures /.Springer,,c2007..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Formal methods for components and objects : 5th international symposium, FMCO 2006, Amsterdam, the Netherlands, November 7-10, 2006 : revised lectures /

BOER, Frank S. de..Springer,,c2007..
3 图书 Formal methods for components and objects : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004 : revised lectures /
责任者 Boer, Frank S. de.

出版信息 Springer-Verlag, ,2005.

ISBN 3-540-29131-8

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Boer, Frank S. de..Formal methods for components and objects : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004 : revised lectures /.Springer-Verlag,,2005..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Formal methods for components and objects : Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004 : revised lectures /

Boer, Frank S. de..Springer-Verlag,,2005..
4 图书 Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures /
责任者 Boer, Frank S. de.

出版信息 Springer, ,c2004.

ISBN 3-540-22942-6

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Boer, Frank S. de..Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures /.Springer,,c2004..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Formal methods for components and objects : second international symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003 : revised lectures /

Boer, Frank S. de..Springer,,c2004..
5 图书 Formal methods for components and objects : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures /
责任者 Boer, Frank S. de.

出版信息 Springer-Verlag, ,2003.

ISBN 3-540-20303-6

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Boer, Frank S. de..Formal methods for components and objects : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures /.Springer-Verlag,,2003..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Formal methods for components and objects : First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002 : revised lectures /

Boer, Frank S. de..Springer-Verlag,,2003..
6 图书 Formal methods for open object-based distributed systems : 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 : proceedings /
责任者 Barthe, Gilles,,Boer, Frank S. de.

出版信息 Springer, ,c2008.

ISBN 9783540688624 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Barthe, Gilles,,Boer, Frank S. de..Formal methods for open object-based distributed systems : 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 : proceedings /.Springer,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Formal methods for open object-based distributed systems : 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 : proceedings /

Barthe, Gilles,,Boer, Frank S. de..Springer,,c2008..

通借成功!

预约成功!