{"product_id":"programming-languages-and-systems-springer-international-publishing-ag-9783319265285-13th-asian-symposium-aplas-2015-pohang-south-korea-november-30-december-2-2015-proceedings-xinyu-feng","title":"Programming Languages and Systems","description":"\u003cp\u003eDiscover the intricate world of programming languages and systems with \u003cstrong\u003eProgramming Languages and Systems\u003c\/strong\u003e by \u003cstrong\u003eXinyu Feng\u003c\/strong\u003e. Published in 2015 by Springer International Publishing AG, this comprehensive paperback edition spans 506 pages and delves into both foundational and practical aspects of programming. The book is meticulously organized into topical sections covering essential subjects such as compilers, separation logic, static analysis, abstract interpretation, Hoare logic, types, functional programming, semantics, model checking, and program analysis. Each section provides valuable insights, making it an indispensable resource for students and professionals alike. Enhance your understanding of programming languages and systems with this authoritative guide, perfect for anyone looking to deepen their knowledge in this dynamic field.\u003c\/p\u003e","brand":"Xinyu Feng","offers":[{"title":"Default Title","offer_id":52231654080854,"sku":"9783319265285","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783319265285.jpg?v=1767748624","url":"https:\/\/www.englishbook.pt\/products\/programming-languages-and-systems-springer-international-publishing-ag-9783319265285-13th-asian-symposium-aplas-2015-pohang-south-korea-november-30-december-2-2015-proceedings-xinyu-feng","provider":"Bookshop","version":"1.0","type":"link"}