Φορτώνει......
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, κ.ά.
Έκδοση: (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)