Á lódáil...
The logical basis for computer programming
| Príomhúdar: | Zohar Manna ,Richard Waldinger |
|---|---|
| Formáid: | Printed Book |
| Teanga: | English |
| Foilsithe: |
Addison-Wesley Publishing
1985
|
Míreanna Comhchosúla
-
Logical Basis for Computer Programming
le: Zohar Manna, Richard Waldinger
Foilsithe: (1990) -
Mathematical theory of computation/
le: Manna, Zohar
Foilsithe: (1974) -
The Temporal logic of reactive and concurrent systems
le: Manna, Zohar, et al.
Foilsithe: (1992) -
The temporal logic of reactive and concurrent systems/specification
le: zohar Manna,Amir Phueli
Foilsithe: (1992) -
Logic and the basis of ethics /
le: Prior, Arthur N.
Foilsithe: (1949)