CConstruction et vérification de programmesConstruction et vérification de programmesde Roland C. BackhouseMateriasProgrammation (Informatique)Ediciones (1)Construction et vérification de programmes (1989)Masson · francésMás obras de Roland C. BackhouseAlgorithmic problem solvingDatatype-Generic Programming
AAlgebraic and Coalgebraic Methods in the Mathematics of ProgAlgebraic and Coalgebraic Methods in the Mathematics of Program Construction