Formal specification level : concepts, methods, and algorithms / Mathias Soeken, Rolf Drechsler.
Tipo de material:
TextoEditor: Cham : Springer International Publishing : Springer, 2015Descripción: viii, 138 páginas : 87 ilustracionesTipo de contenido: - texto
- computadora
- recurso en línea
- 9783319086996
- TK7888.4
Contenidos:
Introduction -- Background -- NLP-Assisted Model Generation -- Verification of Static Aspects -- Verification of Dynamic Aspects -- Conclusions.
No hay ítems correspondientes a este registro
Springer eBooks
Introduction -- Background -- NLP-Assisted Model Generation -- Verification of Static Aspects -- Verification of Dynamic Aspects -- Conclusions.
Para consulta fuera de la UANL se requiere clave de acceso remoto.