Mathematics of program construction : 12th international conference, mpc 2015, königswinter, germany, june 29--july 1, 2015. Proceedings / edited by Ralf Hinze, Janis Voigtländer.

Colaborador(es):

Tipo de material: Texto

TextoSeries Lecture Notes in Computer Science ; 9129Editor: Cham : Springer International Publishing : Springer, 2015Descripción: xiv, 323 páginas : 44 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:

Contenidos:

Type Systems -- Program analysis and Transformation -- Programming-language semantics -- Security -- Program logics.

No hay ítems correspondientes a este registro

Springer eBooks

Type Systems -- Program analysis and Transformation -- Programming-language semantics -- Security -- Program logics.

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