Congrès
Symposium on semantics of algorithmic languages
Engeler, Erwin (Ed.)
1971
vi, 372 p.
3-540-05377-8
M/A1(188)
algol ; démonstration ; langage ; sémantique
Bibliothèque de l'IECL
IECL
Class. Mathématique : 03Fxx ; 68-XX
Pays d'édition : Allemagne
Ville d'édition : Berlin/Heidelberg/New York
Langue : anglais
Format : 26 cm
Illustrations : Fig.
Collection : Lecture notes in mathematics
N° de collection : 0188
Bibliographie : Notes bibliographiques
Nom du congrès : Symposium on semantics of algorithm languages