ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

couverture du numéro

Langages applicatifs. Spécification, programmation, vérification
sous la direction de MENISSIER-MORAIN Valèrie
 LISTE DES ARTICLES POUR LE VOL 24/9 - 2005
Sommaire  [GRATUIT]
- pp.1051-1051
Editorial  [GRATUIT]
- pp.1053-1054
Interopérabilité avec Objective Caml
Emmanuel CHAILLOUX, Grégoire HENRY, Raphaël MONTELATICI - pp.1055-1080
Typage des collections topologiques hétérogènes et des transformations
Julien COHEN - pp.1081-1111
Formalisation en Coq et visualisation d'un cours de géométrie pour le lycée
Frédérique GUILHOT - pp.1113-1138
Coq, un outil pour l'enseignement. Une expérience avec les étudiants du DESS Développement de logiciels sûrs
David DELAHAYE, Mathieu JAUME, Virgile PREVOSTO - pp.1139-1160
Vérification formelle d'extractions de racines entières
Yves BERTOT - pp.1161-1185
Typage, sûreté et sécurité
Catherine DUBOIS - pp.1187-1190
ACHETEZ CE NUMÉRO (version imprimée)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier