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. 
 - xiv, 323 páginas :  44 ilustraciones 
 - Lecture Notes in Computer Science,  9129  0302-9743 ; .
<br/><br/> Springer eBooks 
<br/><br/>Type Systems -- Program analysis and Transformation -- Programming-language semantics -- Security -- Program logics. 
<br/><br/><label>ISBN: </label>9783319197975 
<br/><br/><label>LC Class. No.: </label>QA76.9.L63