{"product_id":"program-construction-cambridge-university-press-9780521318839","title":"Program Construction","description":"\u003cp\u003eDiscover the essentials of software development with \u003cstrong\u003eProgram Construction\u003c\/strong\u003e by Cambridge University Press. Published in 1987, this comprehensive textbook spans 384 pages and serves as an invaluable resource for anyone looking to master the art of designing and writing computer programs. \u003c\/p\u003e \u003cp\u003eDelve into the intricate process of program construction, as this book guides you through every stage—from initial specifications to the final implementation. With a strong emphasis on formal verification, readers will gain a deep understanding of how to ensure the correctness of intermediate versions of their programs. \u003c\/p\u003e \u003cp\u003eWhether you are a student, educator, or professional in the field of computer science, \u003cstrong\u003eProgram Construction\u003c\/strong\u003e is a must-have addition to your library. Enhance your programming skills and elevate your understanding of software development with this insightful guide.\u003c\/p\u003e","brand":"Bookshop","offers":[{"title":"Default Title","offer_id":52231643660630,"sku":"9780521318839","price":53.34,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9780521318839.jpg?v=1767748606","url":"https:\/\/www.bookshop.lv\/products\/program-construction-cambridge-university-press-9780521318839","provider":"Bookshop","version":"1.0","type":"link"}