Get 40% off select print & eBooks in Engineering & Materials or 50% off eBooks in Medicine & Psychology!

Theoretical Computer Science and General Issues

Mathematics of Program Construction

11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings

Editors: Gibbons, Jeremy, Nogueira, Pablo (Eds.)

Free Preview
  • State-of-the-art research
  • Fast-track conference proceedings
  • Unique visibility
see more benefits

Buy this book

eBook $59.99
price for USA in USD (gross)
  • ISBN 978-3-642-31113-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $74.99
price for USA in USD
  • ISBN 978-3-642-31112-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

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.

Table of contents (16 chapters)

Table of contents (16 chapters)

Buy this book

eBook $59.99
price for USA in USD (gross)
  • ISBN 978-3-642-31113-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $74.99
price for USA in USD
  • ISBN 978-3-642-31112-3
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Mathematics of Program Construction
Book Subtitle
11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings
Editors
  • Jeremy Gibbons
  • Pablo Nogueira
Series Title
Theoretical Computer Science and General Issues
Series Volume
7342
Copyright
2012
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-31113-0
DOI
10.1007/978-3-642-31113-0
Softcover ISBN
978-3-642-31112-3
Edition Number
1
Number of Pages
X, 363
Number of Illustrations
57 b/w illustrations
Topics