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
Il n'y a pas encore de discussion sur ce livre
Soyez le premier à en lancer une !
Les meilleurs albums, romans, documentaires, BD à offrir aux petits et aux plus grands
Il n'est pas trop tard pour les découvrir... ou les offrir !
Bird découvre que sa mère n'est autre que la poétesse dissidente Margaret Miu...
Inspirée d’une histoire vraie, cette BD apporte des conseils et des solutions pour sortir de l'isolement
