Načítá se...
Logical Basis for Computer Programming
| Hlavní autor: | Zohar Manna, Richard Waldinger |
|---|---|
| Médium: | Printed Book |
| Jazyk: | English |
| Vydáno: |
Addison-Wesley Publishing
1990
|
| Vydání: | 2 |
Podobné jednotky
-
The logical basis for computer programming
Autor: Zohar Manna ,Richard Waldinger
Vydáno: (1985) -
Mathematical theory of computation/
Autor: Manna, Zohar
Vydáno: (1974) -
The Temporal logic of reactive and concurrent systems
Autor: Manna, Zohar, a další
Vydáno: (1992) -
The temporal logic of reactive and concurrent systems/specification
Autor: zohar Manna,Amir Phueli
Vydáno: (1992) -
Logic and the basis of ethics /
Autor: Prior, Arthur N.
Vydáno: (1949)