Constructive Methods in Computing Science
International Summer School directed by F.L. Bauer, M. Broy, E.W. Dijkstra, C.A.R. Hoare
NATO ASI Subseries F:
Bauer, F. L. (EDT)
Broy, M. (EDT)
Dijkstra, E. W. (EDT)
- 出版社：Springer-Verlag New York Inc
- 出版年月：2012年 07月
- ISBN：9783642748868
- 装丁：PAP
-
装丁について
- 言語：ENG
- 版次：Reprint
- 巻数・ページ数：486 p.
- DDC分類：005