Mathematical theory of computation
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Livre papier |
| Langue: | Anglais |
| Publié: |
New York ; Paris [etc.] :
McGraw-Hill
C 1974.
|
| Collection: | McGraw-Hill computer science series
|
| Sujets: | |
| Autres localisations: | Voir dans le Sudoc |
Table des matières:
- 1. Computability
- 2. Predicate calculus
- 3. Verification of programs
- 4. Flowchart schemas
- 5. The fixpoint theory of programs