Wyniki wyszukiwania:

Le parc electronucleaire francais est l'un des plus importants de la planete. Ils suscitent, comme tout ce qui concerne le nucleaire, de nombreuses interrogations. Ainsi, les grands enjeux autour de ce parc sont des themes essentiels pour l'autonomie energetique sont la surete, la disponibilite, la radioprotection et la protection de l'environnement. Fruit d'un retour d'experience de plus de 1100 campagnes d'irradiation realisees sur 4 paliers de tranches depuis 1977, le present ouvrage presente la declinaison industrielle et quotidienne de ces enjeux, dans le domaine de l'exploitation des c...

ThisvolumecontainstheproceedingsofMPC2008, the9thInternationalConf- enceontheMathematicsofProgramConstruction.Thisseriesofconferencesaims to promote the development of mathematical principles and techniques that are demonstrably useful in the process of constructing computer programs, whether implemented in hardware or software. The focus is on techniques that combine precision with conciseness, enabling programs to be constructed by formal c- culation.Within this theme, the scopeofthe seriesisverydiverse, including p- grammingmethodology, programspeci?cationandtransformation, programming...