Mathématiques pour informaticien

Quand on ?utilise? des outils mathématiques pour raisonner sur un programme informatique, on utilise le même langage ! ... livre Proofs from. THE ...


Un extrait du document