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 !
A gagner : la BD jeunesse adaptée du classique de Mary Shelley !
Caraïbes, 1492. "Ce sont ceux qui ont posé le pied sur ces terres qui ont amené la barbarie, la torture, la cruauté, la destruction des lieux, la mort..."
Chacune des deux demeures dont il sera question est représentée dans le sablier et le lecteur sait d'entrée de jeu qu'il faudra retourner le livre pour découvrir la vérité. Pour comprendre l'enquête menée en 1939, on a besoin de se référer aux indices présents dans la première histoire... un véritable puzzle, d'un incroyable tour de force
Sanche, chanteur du groupe Planète Bolingo, a pris la plume pour raconter son expérience en tant qu’humanitaire...
