Yüklüyor......
Logical Basis for Computer Programming
| Yazar: | Zohar Manna, Richard Waldinger |
|---|---|
| Materyal Türü: | Printed Book |
| Dil: | English |
| Baskı/Yayın Bilgisi: |
Addison-Wesley Publishing
1990
|
| Edisyon: | 2 |
Benzer Materyaller
-
The logical basis for computer programming
Yazar:: Zohar Manna ,Richard Waldinger
Baskı/Yayın Bilgisi: (1985) -
Mathematical theory of computation/
Yazar:: Manna, Zohar
Baskı/Yayın Bilgisi: (1974) -
The Temporal logic of reactive and concurrent systems
Yazar:: Manna, Zohar, ve diğerleri
Baskı/Yayın Bilgisi: (1992) -
The temporal logic of reactive and concurrent systems/specification
Yazar:: zohar Manna,Amir Phueli
Baskı/Yayın Bilgisi: (1992) -
Logic and the basis of ethics /
Yazar:: Prior, Arthur N.
Baskı/Yayın Bilgisi: (1949)