Mathematics of Program Construction: 12th International Conference, MPC 2015, Koenigswinter, Germany, June 29--July 1, 2015. Proceedings - Programming and Software Engineering 9129 (Paperback)
  • Mathematics of Program Construction: 12th International Conference, MPC 2015, Koenigswinter, Germany, June 29--July 1, 2015. Proceedings - Programming and Software Engineering 9129 (Paperback)
zoom

Mathematics of Program Construction: 12th International Conference, MPC 2015, Koenigswinter, Germany, June 29--July 1, 2015. Proceedings - Programming and Software Engineering 9129 (Paperback)

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

Usually despatched 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: 522 g
Dimensions: 235 x 155 x 18 mm
Edition: 2015 ed.

You may also be interested in...

User Story Mapping
Added to basket
£27.99
Paperback
SQL in Easy Steps
Added to basket
£10.99
Paperback
Python For Dummies
Added to basket
£22.99
Paperback
Python Cookbook: No. 3
Added to basket
Core Python Applications Programming
Added to basket
C Programming in Easy Steps
Added to basket
Beginning HTML and CSS
Added to basket
Python in Easy Steps
Added to basket
Code
Added to basket
£21.99
Paperback
SQL Pocket Guide
Added to basket
Python Crash Course
Added to basket
£33.99
Paperback
Test Driven Development
Added to basket
Python for Finance
Added to basket
£35.99
Paperback
Clean Code
Added to basket
£36.99
Paperback
Essential Scrum
Added to basket
£36.99
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.