检索条件： Zohar Manna,Richard Waldinger ( 著者 )

检索结果共有3条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 The logical basis for computer programming．v. 1，Deductive reasonning
责任者 by Zohar Manna, Richard Waldinger

出版信息 Addison-Wesley Pub. Co. ,1985

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
by Zohar Manna, Richard Waldinger.The logical basis for computer programming．v. 1，Deductive reasonning.Addison-Wesley Pub. Co.,1985.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

The logical basis for computer programming．v. 1，Deductive reasonning

by Zohar Manna, Richard Waldinger.Addison-Wesley Pub. Co.,1985.
2 图书 The logical basis for computer programming．v. 2
责任者 by Zohar Manna, Richard Waldinger

出版信息 Addison-Wesley Pub. Co. ,1985

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
by Zohar Manna, Richard Waldinger.The logical basis for computer programming．v. 2.Addison-Wesley Pub. Co.,1985.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

The logical basis for computer programming．v. 2

by Zohar Manna, Richard Waldinger.Addison-Wesley Pub. Co.,1985.
3 图书 The Deductive foundations of computer programming
责任者 Zohar Manna,Richard Waldinger

出版信息 Addison-Wesley Pub. Co. ,1993

ISBN 0-201-54886-0

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Zohar Manna,Richard Waldinger.The Deductive foundations of computer programming.Addison-Wesley Pub. Co.,1993.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

The Deductive foundations of computer programming

Zohar Manna,Richard Waldinger.Addison-Wesley Pub. Co.,1993.

通借成功!

预约成功!