Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 € GLS courier 4.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Mathematics of Program Construction

Name: Mathematics of Program Construction
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01562278
Price: 60.39 EUR
Availability: InStock
Author: Tarmo Uustalu
ISBN: 9783540356318

8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings

Tarmo Uustalu

Language

English

Book Paperback

Libristo code: 01562278

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, June 2006

This book constitutes the refereed proceedings of the 8th International Conference on Mathematics of... Full description

Libristo code: 01562278

148 b

60.39 € VAT included

Low in stock at our supplier Shipping in 11-15 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Puzzle panoramiczne 1000 Galaxy 2

Jigsaw puzzle

9.69 €

Život bez peněz Mark Sundeen

Book

10.99 €

Písanka 2 pro 3. ročník základní školy Jitka Halasová

Paperback

1.79 €

Tableau Seculaire de la Societe d'Agriculture de Tours, 1761-1861 CHEVALIER-C

Paperback

13.19 €

L'étranger/e et son avocat/e gisti

Paperback

8.19 €

This book constitutes the refereed proceedings of the 8th International Conference on Mathematics of Program Construction, MPC 2006, held in Kuressaare, Estonia in July 2006. The book collects 22 revised full papers presented with 3 invited talks. Issues addressed range from algorithmics to support for program construction in programming languages and systems. Topics of special interest are type systems, program analysis and transformation, programming language semantics, program logics.