Langages applicatifs. Spécification, programmation, vérification (Technique et science informatiques RSTI série TSI Vol. 24 N° 9/2005)
Langue : Français
Auteur : MÉNISSIER-MORAIN Valérie
- Interopérabilité avec Objective Caml
E. Chailloux, G. Henry, R. Montelatici - pp.1055-1080 - Typage des collections topologiques hétérogènes et des transformations
J. Cohen - pp.1081-1111 - Formalisation en Coq et visualisation d'un cours de géométrie pour le lycée
F. Guilhot - pp.1113-1138 - Coq, 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-1160 - Vérification formelle d'extractions de racines entières
Y. Bertot - pp.1161-1185 - Typage, sûreté et sécurité
C. Dubois - pp.1187-1190
Retrouvez la description détaillée du numéro sur RevuesOnline.
Date de parution : 02-2006
Numéro de revue de 136 p.
16x24 cm
Épuisé
Thèmes de Langages applicatifs. Spécification, programmation... :
© 2024 LAVOISIER S.A.S.