Ralf Hinze
Mathematics of Program Construction: 12th International Conference, MPC 2015, Konigswinter, Germany, June 29--July 1, 2015. Proceedings - Lecture Notes in Computer Science Ralf Hinze 2015 edition

Name: Mathematics of Program Construction: 12th International Conference, MPC 2015, Konigswinter, Germany, June 29--July 1, 2015. Proceedings - Lecture Notes in Computer Science
Price: 6919 ISK
Availability: OutOfStock
Author: Ralf Hinze

Price

Íkr 6,919

excl. VAT

Ordered from remote warehouse

Expected delivery Jul 23 - 31

Get notified about new Ralf Hinze releases

Our customers say:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14-day return policy in accordance with European consumer protection law

Top ranking on Trustpilot

Add to your iMusic wish list

Not rated yet

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

Ralf Hinze

2015 edition

This book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Königswinter, Germany, in June/July 2015. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security, and program logics.

323 pages, 44 black & white illustrations, biography

Media	Books Paperback Book (Book with soft cover and glued back)
Released	June 12, 2015
ISBN13	9783319197968
Publishers	Springer International Publishing AG
Pages	323
Dimensions	155 × 235 × 18 mm · 5.15 kg
Language	French
Editor	Hinze, Ralf
Editor	Voigtlander, Janis