Temporal logic of programs (ouvrira une nouvelle fenêtre)Sauvegarder cet élément : Temporal logic of programshttps://catalogue-scientifique.canada.ca/record=1360275~S6*frcRechercher Kröger, FredSpringer-Verlag, 1987, ISBN : 3540170308Livre