Software engineering and formal methods : 12th international conference, sefm 2014, grenoble, france, september 1-5, 2014. Proceedings / edited by Dimitra Giannakopoulou, Gwen Salaün.
Tipo de material:
TextoSeries Lecture Notes in Computer Science ; 8702Editor: Cham : Springer International Publishing : Springer, 2014Descripción: xxii, 394 páginas : 85 ilustracionesTipo de contenido: - texto
- computadora
- recurso en línea
- 9783319104317
- QA76.758
Contenidos:
Program Verification -- Testing -- Component-Based Systems -- Real-Time and Embedded Systems -- Model Checking and Automata Learning -- Tool Papers -- Program Correctness -- Adaptive and Multi-Agent Systems.
No hay ítems correspondientes a este registro
Springer eBooks
Program Verification -- Testing -- Component-Based Systems -- Real-Time and Embedded Systems -- Model Checking and Automata Learning -- Tool Papers -- Program Correctness -- Adaptive and Multi-Agent Systems.
Para consulta fuera de la UANL se requiere clave de acceso remoto.