检索条件： Edsger W. Dijkstra ( 著者 )

检索结果共有3条

匹配度排行

出版/发布时间

在馆记录

检索筛选

1 图书 Formal development of programs and proofs
责任者 Edsger W. Dijkstra

出版信息 Addison-wesley Pub. ,1990

ISBN

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Edsger W. Dijkstra.Formal development of programs and proofs.Addison-wesley Pub.,1990.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Formal development of programs and proofs

Edsger W. Dijkstra.Addison-wesley Pub.,1990.
2 图书 Predicate calculus and program semantics
责任者 Edsger W. Dijkstra

出版信息 Springer-Verlag ,1990

ISBN 0-387-96957-8

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
Edsger W. Dijkstra.Predicate calculus and program semantics.Springer-Verlag,1990.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

Predicate calculus and program semantics

Edsger W. Dijkstra.Springer-Verlag,1990.
3 图书编程的修炼
责任者戴克斯特拉

出版信息电子工业出版社 ,2013

ISBN 978-7-121-20250-6

馆藏信息

图书信息

随书附盘
扫二维码，手机查看
馆内电子资源：点击查看电子书
- 暂无电子资源
戴克斯特拉.编程的修炼.电子工业出版社,2013.
复制引文到剪贴板
在粘贴到您的文章之前，请再检查一遍引文格式的准确性。

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

编程的修炼

戴克斯特拉.电子工业出版社,2013.

通借成功!

预约成功!