Загрузка...
The logical basis for computer programming
| Главный автор: | Zohar Manna ,Richard Waldinger |
|---|---|
| Формат: | Printed Book |
| Язык: | English |
| Опубликовано: |
Addison-Wesley Publishing
1985
|
Схожие документы
-
Logical Basis for Computer Programming
по: Zohar Manna, Richard Waldinger
Опубликовано: (1990) -
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)