检索条件： 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 /
责任者 ETAPS 2004

出版信息

ISBN 2004045334

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
ETAPS 2004.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 /.,.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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 /

ETAPS 2004.,.
3 图书 Service-oriented computing - ICSOC 2008 : 6th international conference, Sydney, Australia, December 1-5, 2008 : proceedings /
责任者

出版信息

ISBN 9783540896470 (pbk.)

馆藏信息

图书信息

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

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

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

.,.

通借成功!

预约成功!