Predicate calculus and program semantics (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Predicate calculus and program semanticshttps://catalogue-scientifique.canada.ca/record=1453687~S6*frcRechercher Dijkstra, Edsger Wybe; Rechercher Scholten, Carel SSpringer-Verlag, 1990, ISBN : 9780387969572Livre