طبعة: Amsterdam ; Berlin ; Tokyo [etc.]: IOS Press
لغة: إنجليزية
الوصف المادي: 1 vol. (ix-325 p.) fig., portr. ;25 cm
ISBN: 9781607500995
الفهرس العشري 621 .الفيزياء التطبيقية (الهندسة الكهربائية ، الهندسة المدنية ، الهندسة الميكانيكية ، الهندسة التطبيقية ، المبادئ الفيزيائية في الهندسة)
الموضوع الإعلام الآلي

الكلمات الدالة:
Systèmes informatiques : Mesures de sûreté :Actes de congrès
Logique informatique :Actes de congrès

ملاحظة: 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