Connectez-vous pour ajouter ce livre à votre bibliothèque.
Ernest G. Manes
Predicate transformer semantics
Cambridge university press (Cambridge) · 1992 · 9780521420365
