Recherche Connexion Inscription

Recherche Connexion Inscription

Ernest G. Manes

Œuvres (1)

Couverture : Predicate transformer semantics

Predicate transformer semantics

1992

Bouquins — catalogue de livres francophones. Données bibliographiques : BnF, Google Books, Open Library.