Des romans policiers à offrir ? Faites le plein de bonnes idées !
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 !
Des romans policiers à offrir ? Faites le plein de bonnes idées !
Nostalgique, nomade ou plutôt romantique ? Trouvez le livre de la rentrée qui vous correspond !
Nouveaux talents, nouveaux horizons littéraires !
Des romans, livres de recettes et BD pour se régaler en famille !