Formal modeling and analysis of timed systems : 12th international conference, formats 2014, florence, italy, september 8-10, 2014. Proceedings / edited by Axel Legay, Marius Bozga.
Tipo de material:
TextoSeries Lecture Notes in Computer Science ; 8711Editor: Cham : Springer International Publishing : Springer, 2014Descripción: x, 253 páginas : 74 ilustracionesTipo de contenido: - texto
- computadora
- recurso en línea
- 9783319105123
- QA75.5-76.95
No hay ítems correspondientes a este registro
Springer eBooks
Para consulta fuera de la UANL se requiere clave de acceso remoto.