Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings

Title:

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 Author:

Added Corporate Author:

Electronic Access:

Holds:
Copies:

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