Introduction à la preuve de programmes - CEL - Cours en ligne Access content directly
Lectures Year : 2013

Introduction à la preuve de programmes

Fichier principal
Vignette du fichier
cours_etudiants_v2.pdf (732.96 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

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

Identifiers

  • HAL Id : hal-02950782 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More