Cover von Mathematics of Program Construction opens in new tab

Mathematics of Program Construction

12th International Conference, MPC 2015, Königswinter, Germany, June 29 - July 1, 2015. Proceedings
Search for this author
Year: 2015
Publisher: Heidelberg, Springer
Series: Lecture notes in computer science; 9129
Media group: MONOGRAPHIE
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: LNCS 9129 Location 2: ARCHIVE - BASEMENT Location 3: Status: reference collection

Content

International Conference on Mathematics of Program Construction <12, 2015, Königswinter>

Details

Search for this author
Year: 2015
Publisher: Heidelberg, Springer
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-319-19796-8
ISBN (2nd): 3-319-19796-7
Description: 256 S.
Series: Lecture notes in computer science; 9129
Participating parties: Search for this character Hinze, Ralf; Voigtländer, Janis
Media group: MONOGRAPHIE