书籍 Lecture Notes in Computer Science 125 Logic of Programs Workshop的封面

Lecture Notes in Computer Science 125 Logic of Programs Workshop

ETH Zurich

出版社

Springer-Verlag

出版时间

1981

ISBN

标注页数

245 页

PDF页数

251 页

书籍介绍
在线购买PDF电子书