Cargando…

Mathematics of program construction: 12th international conference, MPC 2015, Königswinter, Germany, June 29-July 1, 2015 proceedings

Detalles Bibliográficos
Autores principales: Hinze, Ralf, Voigtländer, Janis
Lenguaje:eng
Publicado: Springer International Publishing AG 2015
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2756853