检索条件： Margaria-Steffen, Tiziana, ( 著者 )

检索结果共有3条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Formal methods for industrial critical systems : a survey of applications /
责任者 Margaria-Steffen, Tiziana,,Gnesi, Stefania,

出版信息 John Wiley & Sons Inc., ,2013.

ISBN 9780470876183 (pbk.) :

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Margaria-Steffen, Tiziana,,Gnesi, Stefania,.Formal methods for industrial critical systems : a survey of applications /.John Wiley & Sons Inc.,,2013..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Formal methods for industrial critical systems : a survey of applications /

Margaria-Steffen, Tiziana,,Gnesi, Stefania,.John Wiley & Sons Inc.,,2013..
2 图书 Fundamental approaches to software engineering : 7th international conference, FASE 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings /
责任者 Wermelinger, Michel,,Margaria-Steffen, Tiziana,

出版信息 Springer, ,c2004.

ISBN 3-540-21305-8

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Wermelinger, Michel,,Margaria-Steffen, Tiziana,.Fundamental approaches to software engineering : 7th international conference, FASE 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings /.Springer,,c2004..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Fundamental approaches to software engineering : 7th international conference, FASE 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings /

Wermelinger, Michel,,Margaria-Steffen, Tiziana,.Springer,,c2004..
3 图书 Service-oriented computing - ICSOC 2008 : 6th international conference, Sydney, Australia, December 1-5, 2008 : proceedings /
责任者 Margaria-Steffen, Tiziana,,Krüger, Ingolf H.,Bouguettaya, Athman.

出版信息 Springer, ,c2008.

ISBN 9783540896470 (pbk.)

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Margaria-Steffen, Tiziana,,Krüger, Ingolf H.,Bouguettaya, Athman..Service-oriented computing - ICSOC 2008 : 6th international conference, Sydney, Australia, December 1-5, 2008 : proceedings /.Springer,,c2008..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Service-oriented computing - ICSOC 2008 : 6th international conference, Sydney, Australia, December 1-5, 2008 : proceedings /

Margaria-Steffen, Tiziana,,Krüger, Ingolf H.,Bouguettaya, Athman..Springer,,c2008..

通借成功!

预约成功!