
Mathematics of Program Construction
11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings
Springer (Publisher)
Published on 18. June 2012
Book
Paperback/Softback
X, 363 pages
978-3-642-31112-3 (ISBN)
Description
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.
More details
Series
Edition
2012 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
57 s/w Abbildungen
X, 363 p. 57 illus.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 21 mm
Weight
569 gr
ISBN-13
978-3-642-31112-3 (9783642311123)
DOI
10.1007/978-3-642-31113-0
Schweitzer Classification
Other editions
Additional editions

Jeremy Gibbons | Pablo Nogueira
Mathematics of Program Construction
11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings
E-Book
06/2012
Springer
€53.49
Available for download