Abstract state machines, alloy, b, tla, vdm, and z : 4th international conference, abz 2014, toulouse, france, june 2-6, 2014. Proceedings / edited by Yamine Ait Ameur, Klaus-Dieter Schewe.
Tipo de material:
TextoSeries Lecture Notes in Computer Science ; 8477Editor: Berlin, Heidelberg : Springer Berlin Heidelberg : Springer, 2014Descripción: xvi, 336 páginas : 93 ilustracionesTipo de contenido: - texto
- computadora
- recurso en línea
- 9783662436523
- QA8.9-QA10.3
Contenidos:
Fundamental contributions -- Applications in industrial contexts -- Tool developments and improvements.
No hay ítems correspondientes a este registro
Springer eBooks
Fundamental contributions -- Applications in industrial contexts -- Tool developments and improvements.
Para consulta fuera de la UANL se requiere clave de acceso remoto.