×

Formalisation des notions de machine et de programme. (French) Zbl 0309.68004

Collection programmation. Paris: Gauthier-Villars. XIV, 218 p. 54.00 F. (1969).

MSC:

68-02 Research exposition (monographs, survey articles) pertaining to computer science
68Q45 Formal languages and automata
68N01 General topics in the theory of software
68W99 Algorithms in computer science
03-02 Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
03D20 Recursive functions and relations, subrecursive hierarchies