Nantilus
Mathematical theory of computation
Enregistré dans:
| Auteur principal : | |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Mathematical theory of computation / Zohar Manna,... |
| Publié : |
New York, Paris [etc.] :
McGraw-Hill
, copyright 1974 |
| Description matérielle : | 1 vol. (X-448 p.) + ill. |
| Collection : | McGraw-Hill computer science series Richard W. Hamming,... Edward A. Feigenbaum,. |
| Sujets : |
- 1. Computability
- 2. Predicate calculus
- 3. Verification of programs
- 4. Flowchart schemas
- 5. The fixpoint theory of programs