Verified software: theories, tools and experiments : 6th international conference, vstte 2014, vienna, austria, july 17-18, 2014, revised selected papers / edited by Dimitra Giannakopoulou, Daniel Kroening.
Tipo de material:
TextoSeries Lecture Notes in Computer Science ; 8471Editor: Cham : Springer International Publishing : Springer, 2014Descripción: x, 287 páginas : 107 ilustracionesTipo de contenido: - texto
- computadora
- recurso en línea
- 9783319121543
- QA76.758
Contenidos:
Analysis: understanding and explanation -- Verification frameworks and applications -- Hypervisors and dynamic data structures -- Certification -- Real time and security.
No hay ítems correspondientes a este registro
Springer eBooks
Analysis: understanding and explanation -- Verification frameworks and applications -- Hypervisors and dynamic data structures -- Certification -- Real time and security.
Para consulta fuera de la UANL se requiere clave de acceso remoto.