{"product_id":"mathematics-of-program-construction-springer-international-publishing-ag-9783319197968-12th-international-conference-mpc-2015-konigswinter-germany-june-29-july-1-2015-proceedings-ralf-hinze","title":"Mathematics of Program Construction","description":"\u003cp\u003eDiscover the cutting-edge insights in \u003cstrong\u003eMathematics of Program Construction\u003c\/strong\u003e by Ralf Hinze, published by Springer International Publishing AG in 2015. This comprehensive volume features the refereed proceedings of the 12th International Conference on Mathematics of Program Construction (MPC 2015), held in Königswinter, Germany. Spanning 323 pages, this edition delves into critical areas such as type systems, program analysis, transformation, programming-language semantics, security, and program logics. Ideal for researchers, practitioners, and students in computer science, this book offers a wealth of knowledge and innovative approaches to program construction. Enhance your understanding of the mathematical foundations that underpin programming languages and software development. Don't miss the opportunity to explore this essential resource in the field!\u003c\/p\u003e","brand":"Ralf Hinze","offers":[{"title":"Default Title","offer_id":52235607408982,"sku":"9783319197968","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319197968.jpg?v=1767755752","url":"https:\/\/www.englishbook.fi\/products\/mathematics-of-program-construction-springer-international-publishing-ag-9783319197968-12th-international-conference-mpc-2015-konigswinter-germany-june-29-july-1-2015-proceedings-ralf-hinze","provider":"Bookshop","version":"1.0","type":"link"}