载入...
Logical Basis for Computer Programming
| 主要作者: | Zohar Manna, Richard Waldinger |
|---|---|
| 格式: | Printed Book |
| 语言: | English |
| 出版: |
Addison-Wesley Publishing
1990
|
| 版: | 2 |
相似书籍
-
The logical basis for computer programming
由: Zohar Manna ,Richard Waldinger
出版: (1985) -
Mathematical theory of computation/
由: Manna, Zohar
出版: (1974) -
The Temporal logic of reactive and concurrent systems
由: Manna, Zohar, et al.
出版: (1992) -
The temporal logic of reactive and concurrent systems/specification
由: zohar Manna,Amir Phueli
出版: (1992) -
Logic and the basis of ethics /
由: Prior, Arthur N.
出版: (1949)