Nasa formal methods : 7th international symposium, nfm 2015, pasadena, ca, usa, april 27-29, 2015, proceedings / edited by Klaus Havelund, Gerard Holzmann, Rajeev Joshi.

Colaborador(es):

Tipo de material: Texto

TextoSeries Lecture Notes in Computer Science ; 9058Editor: Cham : Springer International Publishing : Springer, 2015Descripción: xiii, 458 páginas : 115 ilustracionesTipo de contenido:

Tipo de medio:

Tipo de portador:

ISBN:

Formatos físicos adicionales: Edición impresa:: Sin títuloClasificación LoC:

Recursos en línea:

No hay ítems correspondientes a este registro

Springer eBooks

Para consulta fuera de la UANL se requiere clave de acceso remoto.