Syntaxe, sémantique et axiomatique d'un langage de programmation simple
Syntaxe, sémantique et axiomatique d'un langage de programmation simple1975
Details
- First published
- 1975
- OL Work ID
- OL6965286W
Subjects
Programming languages (Electronic computers)Symbolic and mathematical Logic