Mathematics of Program Construction :11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings - Lecture Notes in Computer Science

Mathematics of Program Construction

Mathematics of Program Construction :11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings - Lecture Notes in Computer Science

(Author) (Author)
paperback
Published: 18 June, 2012
Standard worldwide delivery by Tue, July 21 - Thu, July 30
Order within 0
Condition: NEW
$61.74
Price includes shipping
Available 20+ in stock
- +
Add to basket Wishlist This
FREE Returns within 30 days
More Details

Popular Books by Jeremy Gibbons

View All Books by Jeremy Gibbons
Algorithm Design with Haskell
Algorithm Design with Haskell
Jeremy Gibbons
$91.97
New
Add to basket
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Jeremy Gibbons
$71.25
New
Add to basket
Bidirectional Transformations
Bidirectional Transformations
Jeremy Gibbons
$61.64
New
Add to basket
Generic Programming
Generic Programming
Jeremy Gibbons
$128.88
New
Add to basket
Functional and Logic Programming
Functional and Logic Programming
Jeremy Gibbons
$73.51 $73.54
New
Add to basket
Generic Programming
Generic Programming
Jeremy Gibbons
$114.61 $120.35
New
Add to basket
Integrated Formal Methods
Integrated Formal Methods
Jeremy Gibbons
$131.06
New
Add to basket
Teaching Formal Methods
Teaching Formal Methods
Jeremy Gibbons
$69.61
New
Add to basket
Datatype-Generic Programming
Datatype-Generic Programming
Jeremy Gibbons
$71.29
New
Add to basket
Foundations of Health Information Engineering and Systems
Foundations of Health Information Engineering and Systems
Jeremy Gibbons
$70.40
New
Add to basket

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.
See more

More Details

Type Book
ISBN13 9783642311123
ISBN10 3642311121
Number Of Pages 363
Item Weight 1000 g
Publisher / Reseller Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Format paperback
Edition 2012 ed.
See More +