Dependable software systems engineering /

Show other versions (3)
Bibliographic Details
Call Number:Libro Electrónico
Corporate Author: NATO Advanced Study Institute on Dependable Software Systems Engineering Marktoberdorf, Germany
Other Authors: Irlbeck, Maximilian (Editor), Peled, Doron (Editor), Pretschner, Alexander (Editor)
Format: Electronic Conference Proceeding eBook
Language:Inglés
Published: Amsterdam : IOS Press, 2015.
Series:NATO science for peace and security series. Information and communication security ; v. 40.
Subjects:
Computer software > Verification > Congresses.
Computer systems > Verification > Congresses.
Logiciels > Vérification > Congrès.
Systèmes informatiques > Vérification > Congrès.
COMPUTERS > Computer Literacy.
COMPUTERS > Computer Science.
COMPUTERS > Data Processing.
COMPUTERS > Hardware > General.
COMPUTERS > Information Technology.
COMPUTERS > Machine Theory.
COMPUTERS > Reference.
Computer software > Verification
Computer systems > Verification
Conference papers and proceedings
Online Access:Texto completo

Internet

Texto completo

Items no disponibles

Holdings details from

Similar Items