Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Programming languages

Buy Now

Mathematics of Program Construction - 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings (Paperback, 2012 ed.) Loot Price: R1,544

Discovery Miles 15 440

Repayment Terms: R145 pm x 12*

Add to cart

Mathematics of Program Construction - 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings...

Mathematics of Program Construction - 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings (Paperback, 2012 ed.)

Jeremy Gibbons, Pablo Nogueira

Series: Lecture Notes in Computer Science, 7342

(sign in to rate)

Loot Price R1,544 Discovery Miles 15 440 | Repayment Terms: R145 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 7342
Release date:	June 2012
First published:	2012
Editors:	Jeremy Gibbons • Pablo Nogueira
Dimensions:	235 x 155 x 19mm (L x W x T)
Format:	Paperback
Pages:	363
Edition:	2012 ed.
ISBN-13:	978-3-642-31112-3
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Computing & IT > Computer programming > Software engineering Books > Science & Mathematics > Mathematics > Applied mathematics > Mathematics for scientists & engineers Books > Computing & IT > Computer programming > Programming languages > General Promotions
LSN:	3-642-31112-1
Barcode:	9783642311123