检索条件： Ali Mili ( 著者 )

检索结果共有3条

匹配度排行

出版/发布时间

在馆记录

检索筛选

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..

通借成功!

预约成功!