Nalaganje...
Logical Basis for Computer Programming
| Glavni avtor: | Zohar Manna, Richard Waldinger |
|---|---|
| Format: | Printed Book |
| Jezik: | English |
| Izdano: |
Addison-Wesley Publishing
1990
|
| Izdaja: | 2 |
Podobne knjige/članki
-
The logical basis for computer programming
od: Zohar Manna ,Richard Waldinger
Izdano: (1985) -
Mathematical theory of computation/
od: Manna, Zohar
Izdano: (1974) -
The Temporal logic of reactive and concurrent systems
od: Manna, Zohar, et al.
Izdano: (1992) -
The temporal logic of reactive and concurrent systems/specification
od: zohar Manna,Amir Phueli
Izdano: (1992) -
Logic and the basis of ethics /
od: Prior, Arthur N.
Izdano: (1949)