This book constitutes the refereed proceedings of the 11th International Conference on Mathematics of Program Construction, MPC 2012, held in Madrid, Spain, in June 2012. The 13 revised full papers presented together with three invited talks were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on security and information flow, synchronous and real-time systems, algorithms and games, program calculi, tool support, algebras and datatypes, and categorical functional programming.
€57.96
Buy this ebook and get 1 more FREE!
Language English ● Format PDF ● ISBN 9783642311130 ● Editor Jeremy Gibbons & Pablo Nogueira ● Publisher Springer Berlin Heidelberg ● Published 2012 ● Downloadable 3 times ● Currency EUR ● ID 6322952 ● Copy protection Adobe DRM
Requires a DRM capable ebook reader
More ebooks from the same author(s) / Editor
48,927 Ebooks in this category
