Edition: Amsterdam ; Berlin ; Tokyo [etc.]: IOS Press
Langue: Anglais
Collation: 1 vol. (ix-325 p.) fig., portr. ;25 cm
ISBN: 9781607500995
Index décimal 621 .Physique appliquée (électrotechnique, génie civil, génie mécanique, ingénierie appliquée, principes physiques en ingénierie)
Thème Informatique

Mots clés:
Systèmes informatiques : Mesures de sûreté :Actes de congrès
Logique informatique :Actes de congrès

Note: Actes du colloque "NATO Advanced Study Institute on Logics and Languages for Reliability and Security" organisé à Marktoberdorf, Allemagne, du 4 au 16 Aout 2009. - Textes et résumés en anglais Annexes : Bibiliogr. en fin de contributions. Index