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 !
A gagner : des exemplaires de cette BD jeunesse sur fond de légendes celtiques !
L'autrice coréenne nous raconte l'histoire de son pays à travers l’opposition et l’attirance de deux jeunes adolescents que tout oppose
Mêlant la folie à l’amour, l’auteur nous offre le portrait saisissant d’une « femme étrange » bousculant les normes binaires de l’identité sexuelle
Dans ce recueil de 13 nouvelles, la jeune autrice mexicaine frappe fort mais juste
