Introduction à la preuve de programmes

Cours Année : 2013

(1)

1

Christine Tasson

Informatique [cs]

Fichier principal

cours_etudiants_v2.pdf (732.96 Ko)

Origine : Fichiers produits par l'(les) auteur(s)

https://cel.hal.science/hal-02950782

Soumis le : lundi 28 septembre 2020-11:53:14

Dernière modification le : dimanche 9 juillet 2023-10:18:01

Archivage à long terme le : jeudi 3 décembre 2020-19:41:41

hal-02950782 , version 1 (28-09-2020)

Christine Tasson. Introduction à la preuve de programmes. Master. France. 2013. ⟨hal-02950782⟩

UNIV-PARIS7 CNRS UP-SCIENCES IRIF

50 Consultations

35 Téléchargements