Mathematics of Program Construction: 11th International Conference, Mpc 2012, Madrid, Spain, June 25-27, 2012, Proceedin: 11th Internati by Jeremy GibbonsMathematics of Program Construction: 11th International Conference, Mpc 2012, Madrid, Spain, June 25-27, 2012, Proceedin: 11th Internati by Jeremy Gibbons

Mathematics of Program Construction: 11th International Conference, Mpc 2012, Madrid, Spain, June…

byJeremy GibbonsEditorPablo Nogueira

Paperback | June 18, 2012

Pricing and Purchase Info

$98.20 online 
$103.50 list price save 5%
Earn 491 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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.
Title:Mathematics of Program Construction: 11th International Conference, Mpc 2012, Madrid, Spain, June…Format:PaperbackDimensions:363 pagesPublished:June 18, 2012Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3642311121

ISBN - 13:9783642311123

Look for similar items by category:

Reviews