Notice
Langages applicatifs. Spécification, programmation, vérification (Technique et science informatiques RSTI série TSI Vol. 24 N° 9/2005)
Auteur : MÉNISSIER-MORAIN Valérie
Langue : FrançaisThèmes de Langages applicatifs. Spécification, programmation... :
50,00 €
Sous réserve de disponibilité chez l'éditeur.
Ajouter au panier le numéro de revue de MÉNISSIER-MORAIN Valérie
Date de parution : 02-2006
Support : Numéro de revue
ISBN : 9782746213241
Support : Numéro de revue
ISBN : 9782746213241
- 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.
© 2024 LAVOISIER S.A.S.