Cover image for Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings
Title:
Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings
Author:
Hinze, Ralf. editor.
ISBN:
9783319197975
Edition:
1st ed. 2015.
Physical Description:
XIV, 323 p. 44 illus. online resource.
Series:
Programming and Software Engineering, 9129
Contents:
Type Systems -- Program analysis and Transformation -- Programming-language semantics -- Security -- Program logics.
Added Corporate Author:
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
E-Book 519158-1001 XX(519158.1)
Searching...

On Order