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 !
Une fiction historique glaçante et inoubliable, aux confins de l’Antarctique
Découvrez les derniers trésors littéraires de l'année !
"On n'est pas dans le futurisme, mais dans un drame bourgeois ou un thriller atmosphérique"
L'auteur se glisse en reporter discret au sein de sa propre famille pour en dresser un portrait d'une humanité forte et fragile
