检索条件： Mili ( 著者 )

检索结果共有5条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 An introduction to formal program verification
责任者 Ali Mili

出版信息 Van Nostrand Reinhold Co. ,1985

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Ali Mili.An introduction to formal program verification.Van Nostrand Reinhold Co.,1985.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

An introduction to formal program verification

Ali Mili.Van Nostrand Reinhold Co.,1985.
2 图书 Towards structured specifying：theory, practice, applications
责任者 Ali Mili et al.

出版信息 Ellis Horwood Ltd. ,1989

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Ali Mili et al..Towards structured specifying：theory, practice, applications.Ellis Horwood Ltd.,1989.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Towards structured specifying：theory, practice, applications

Ali Mili et al..Ellis Horwood Ltd.,1989.
3 图书 Software testing : concepts and operations /
责任者 Ali Mili.

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

ISBN 9781118662878 (cloth) :

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Ali Mili..Software testing : concepts and operations /.John Wiley & Sons Inc.,,c2015..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Software testing : concepts and operations /

Ali Mili..John Wiley & Sons Inc.,,c2015..
4 图书 Reuse-based software engineering : techniques, organization, and controls = 基于重用的软件工程 : 技术、组织和控制 /
责任者 Mili, Hafedh.

出版信息 Publishing House of Electronics Industry ; ,2003.

ISBN 7-5053-8624-7

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Mili, Hafedh..Reuse-based software engineering : techniques, organization, and controls = 基于重用的软件工程 : 技术、组织和控制 /.Publishing House of Electronics Industry ;,2003..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Reuse-based software engineering : techniques, organization, and controls = 基于重用的软件工程 : 技术、组织和控制 /

Mili, Hafedh..Publishing House of Electronics Industry ;,2003..
5 图书 E-technologies : 6th International Conference, MCETECH 2015, Montréal, QC, Canada, May 12-15, 2015, Proceedings /
责任者 Benyoucef, Morad,,Weiss, Michael,,Mili, Hafedh,

出版信息 Springer, ,2015.

ISBN 9783319179568

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Benyoucef, Morad,,Weiss, Michael,,Mili, Hafedh,.E-technologies : 6th International Conference, MCETECH 2015, Montréal, QC, Canada, May 12-15, 2015, Proceedings /.Springer,,2015..
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

E-technologies : 6th International Conference, MCETECH 2015, Montréal, QC, Canada, May 12-15, 2015, Proceedings /

Benyoucef, Morad,,Weiss, Michael,,Mili, Hafedh,.Springer,,2015..

通借成功!

预约成功!