A carregar...
The logical basis for computer programming
| Autor principal: | Zohar Manna ,Richard Waldinger |
|---|---|
| Formato: | Printed Book |
| Idioma: | English |
| Publicado em: |
Addison-Wesley Publishing
1985
|
Registos relacionados
-
Logical Basis for Computer Programming
Por: Zohar Manna, Richard Waldinger
Publicado em: (1990) -
Mathematical theory of computation/
Por: Manna, Zohar
Publicado em: (1974) -
The Temporal logic of reactive and concurrent systems
Por: Manna, Zohar, et al.
Publicado em: (1992) -
The temporal logic of reactive and concurrent systems/specification
Por: zohar Manna,Amir Phueli
Publicado em: (1992) -
Logic and the basis of ethics /
Por: Prior, Arthur N.
Publicado em: (1949)