Syntaxe, sémantique et axiomatique d'un langage de programmation simple
By: Jean Vuillemin.
Series: ISR, Interdisciplinary systems research ;; 12; Interdisciplinary systems research ;; 12.
Publisher: Birkhäuser
Published: 1975
Place of publication: Basel; Stuttgart
Language: fre
Number of pages: 113
Subjects: Programming languages (Electronic computers); Logic, Symbolic and mathematical.
Notes: Bibliography: p. 110-113.
Summary in English and French.
Includes indexes.