Diagnostic et correction d'erreurs de spécifications. Application à l'assemblage de composants I. Mouakher, J. Souquières, F. Alexandre - pp.11-42Spécification et vérification d'un ordonnanceur en B via les automates temporisés O. Nasr, M. Rached, J. Bodeveix, M. Filali - pp.43-72Une approche formelle de la reconfiguration dynamique M. Simonot, M. Aponte - pp.73-102Vérification automatique pour l'exécution sécurisée de composants Java P. Parrend, S. Frénot - pp.103-127
Il n'y a pas encore de discussion sur ce livre
Soyez le premier à en lancer une !
80 ans après, il est toujours essentiel de faire comprendre cet événement aux plus jeunes
Selma ne vit que pour les chevaux et c’est à travers eux qu’elle traverse cette période violente si difficile à comprendre pour une adolescente...
"Osons faire des choses qui sont trop grandes pour nous", suggère Maud Bénézit, dessinatrice et co-scénariste de l'album
"L’Antiquité appartient à notre imaginaire", explique la romancière primée cette année
