Dependable software systems engineering /

Mostrar otras versiones (3)
Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: NATO Advanced Study Institute on Dependable Software Systems Engineering Marktoberdorf, Germany
Otros Autores: Irlbeck, Maximilian (Editor ), Peled, Doron (Editor ), Pretschner, Alexander (Editor )
Formato: Electrónico Congresos, conferencias eBook
Idioma:Inglés
Publicado: Amsterdam : IOS Press, 2015.
Colección:NATO science for peace and security series. Information and communication security ; v. 40.
Temas:
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
Acceso en línea:Texto completo
Descripción
Descripción Física:1 online resource
Bibliografía:Includes bibliographical references and index.
ISBN:9781614994954
1614994951
1614994943
9781614994947

Ejemplares similares