Langages Applicatifs. Specification, Programmation, Verification (Technique Et Science Informatiques

• Date de parution : 22/02/2006
• Editeur : Hermes Science Publications
• EAN : 9782746213241
• Série : (-)
• Support : Revue

• Nombre de pages : (-)
• Collection : (-)
• Genre : (-)
• Thème : Non attribué
• Prix littéraire(s) : (-)

Interopérabilité avec Objective Caml E. Chailloux, G. Henry, R. Montelatici - pp.1055-1080Typage des collections topologiques hétérogènes et des transformations J. Cohen - pp.1081-1111Formalisation en Coq et visualisation d'un cours de géométrie pour le lycée F. Guilhot - pp.1113-1138Coq, un... Voir plus

Interopérabilité avec Objective Caml E. Chailloux, G. Henry, R. Montelatici - pp.1055-1080Typage des collections topologiques hétérogènes et des transformations J. Cohen - pp.1081-1111Formalisation en Coq et visualisation d'un cours de géométrie pour le lycée F. Guilhot - pp.1113-1138Coq, un outil pour l'enseignement. Une expérience avec les étudiants du DESS Développement de logiciels sûrs D. Delahaye, M. Jaume, V. Prevosto - pp.1139-1160Vérification formelle d'extractions de racines entières Y. Bertot - pp.1161-1185Typage, sûreté et sécurité C. Dubois - pp.1187-1190