Semantics and axiomatics of a simple recursive language
Connectez-vous pour ajouter ce livre à votre bibliothèque.
Semantics and axiomatics of a simple recursive language
Jean (19..-.... ; informaticien) Vuillemin, Bruno Courcelle
Autre
Première publication : 1974