Mathematics of Program Construction Image close
Mathematics of Program Construction
Mathematics of Program Construction
Show Hide Adult Content
Mathematics of Program Construction close

Non-Fiction Books:

Home  
Books  
Non-Fiction  
Maths & Science  
Mathematics  
Applied mathematics  
Mathematics for scientists & engineers

Mathematics of Program Construction

11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings
Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

Format:

Paperback / softback
$152.00
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley
Free Delivery with Primate
Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $38.00 with Afterpay Learn more

6 weekly interest-free payments of $25.33 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 11-21 June using International Courier

Explore more Theoretical Computer Science and General Issues

See all products in this series

Frontiers of High Performance Computing and Networking - ISPA 2007 Workshops
$300.00
Frontiers of High Performance Computing and Networking - ISPA 2007...
Paperback / softback
Available - Usually ships in 3-4 weeks
Graph Drawing
$155.00
Graph Drawing
Paperback / softback
Available - Usually ships in 3-4 weeks
Hybrid Learning and Education
$156.00
Hybrid Learning and Education
Paperback / softback
Available - Usually ships in 3-4 weeks
Cellular Automata and Discrete Complex Systems
$149.00
Cellular Automata and Discrete Complex Systems
Paperback / softback
Available - Usually ships in 3-4 weeks
Hybrid Learning
$153.00
Hybrid Learning
Paperback / softback
Available - Usually ships in 3-4 weeks
Learning and Intelligent Optimization
$160.00
Learning and Intelligent Optimization
Paperback / softback
Available - Usually ships in 3-4 weeks
Models of Strategic Reasoning
$152.00
Models of Strategic Reasoning
Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Methods Teaching
$151.00
Formal Methods Teaching
Paperback / softback
Available - Usually ships in 3-4 weeks
Supercomputing
$158.00
Supercomputing
Paperback / softback
Available - Usually ships in 3-4 weeks
Unconventional Computation
$151.00
Unconventional Computation
Paperback / softback
Available - Usually ships in 3-4 weeks
CONCUR 2008 - Concurrency Theory
$158.00
CONCUR 2008 - Concurrency Theory
Paperback / softback
Available - Usually ships in 3-4 weeks
Verification, Model Checking, and Abstract Interpretation
$154.00
Verification, Model Checking, and Abstract Interpretation
Paperback / softback
Available - Usually ships in 3-4 weeks
Computer Aided Verification
$157.00
Computer Aided Verification
Paperback / softback
Available - Usually ships in 3-4 weeks
Theorem Proving in Higher Order Logics
$154.00
Theorem Proving in Higher Order Logics
Paperback / softback
Available - Usually ships in 3-4 weeks
New Computational Paradigms
$299.00
New Computational Paradigms
Paperback / softback
Available - Usually ships in 3-4 weeks
Advances in Neural Networks - ISNN 2005
$315.00
Advances in Neural Networks - ISNN 2005
Paperback / softback
Available - Usually ships in 3-4 weeks

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.
Release date NZ
June 18th, 2012
Audience
  • Professional & Vocational
Contributors
  • Edited by Jeremy Gibbons
  • Edited by Pablo Nogueira
Illustrations
57 Illustrations, black and white; X, 363 p. 57 illus.
Pages
363
Dimensions
156x234x19
ISBN-13
9783642311123
Product ID
20353829

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Non-Fiction >
Maths & Science >
Mathematics >
Applied mathematics >
Mathematics for scientists & engineers
Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer Programming >
Software engineering
Books >
Computers & Internet >
Computer Programming >
Programming languages
Books >
Non-Fiction >
Maths & Science >
Mathematics >
Discrete mathematics
Books >
Computers & Internet >
Computer programming / software development >
Compilers
Books >
Computers & Internet >
Computer programming / software development >
Programming & scripting languages: general
Books >
Computers & Internet >
Computer programming / software development >
Software Engineering
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation >
Maths for computer scientists