Recherche en cours
Par auteur
=
BERTOT YVES
Retour
Imprimer
Flux RSS
Titre
Titre
Date
Auteur
Afficher 12
Afficher 12
Afficher 24
Afficher 36
Afficher 48
Afficher 60
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
1
ressource
section 1-1
sur 1
résultats
1 à 1
UNIT
Preuves de programmes en coq
Description
:
Le système Coq fournit un langage de programmation symbolique et un cadre logique pour raisonner sur les algorithmes décrits. Dans ce cours, nous décrivons les points clefs du langage de programmation, basé sur la programmation fonctionnelle, et du cadre logique de vérification, basé sur la logique ...
Date
:
21-09-2012
Format
:
Document HTML, Vidéo MPEG
Auteur
:
Bertot Yves
Thème
:
Informatique
Type de la ressource pédagogique
:
cours / présentation, outil, exercice, liste de références
Niveau
:
enseignement supérieur, master, bac+4, bac+5
Public
:
enseignant, apprenant
Afficher section
2
sur 1