Mathematics of Program Construction: 12th International Conference, MPC 2015, Koenigswinter, Germany, June 29--July 1, 2015. Proceedings - Lecture Notes in Computer Science 9129 (Paperback)
  • Mathematics of Program Construction: 12th International Conference, MPC 2015, Koenigswinter, Germany, June 29--July 1, 2015. Proceedings - Lecture Notes in Computer Science 9129 (Paperback)
zoom

Mathematics of Program Construction: 12th International Conference, MPC 2015, Koenigswinter, Germany, June 29--July 1, 2015. Proceedings - Lecture Notes in Computer Science 9129 (Paperback)

(editor), (editor)
£49.99
Paperback 323 Pages / Published: 12/06/2015
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Koenigswinter, Germany, in June/July 2015. The 15 revised full papers presented together with two invited talks were carefully reviewed and selected from 20 submissions. The papers are about mathematical methods and tools put to use in program construction. They range from algorithmics to support for program construction in programming languages and systems. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security, and program logics.

Publisher: Springer International Publishing AG
ISBN: 9783319197968
Number of pages: 323
Weight: 5153 g
Dimensions: 235 x 155 x 18 mm
Edition: 2015 ed.

You may also be interested in...

Code
Added to basket
£21.99
Paperback
The Art of SEO 3e
Added to basket
£47.99
Paperback
SQL in Easy Steps
Added to basket
£10.99
Paperback
Learn Python the Hard Way
Added to basket
£29.48
Mixed media product
Coding for Beginners in easy steps
Added to basket
The C++ Programming Language
Added to basket
Beginning Programming For Dummies
Added to basket
Python Pocket Reference
Added to basket
Automate The Boring Stuff With Python
Added to basket
C++ For Dummies
Added to basket
£21.99
Paperback
Programming in Python 3
Added to basket
Adventures in Python
Added to basket
C++ Pocket Reference
Added to basket
£15.99
Paperback
Learning Agile
Added to basket
£35.99
Paperback
PHP and MySQL Web Development
Added to basket
Python Crash Course
Added to basket
£33.99
Paperback

Please sign in to write a review

Your review has been submitted successfully.