img

Notice détaillée

Logics and languages for reliability and security

Livre Ecrit par: Grumberg, Orna ; Spanfelner, Bernd ; NATO advanced study Institute on logics and languages for reliability and security (2009 ; Marktoberdorf, Allemagne) ; Esparza, Javier (1964-....) ; Publié en: cop. 2010


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

Logics and languages for reliability and security

Sommaire