{"product_id":"thinking-programs-logical-modeling-and-reasoning-about-languages-data-computations-and-executions-9783030805098","title":"Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions","description":"\u003cp\u003e\u003c\/p\u003e\u003cblockquote\u003eThis book provides a logical approach to the formal modeling of and reasoning about computer programs, supported by software advances in computational logic. It offers practical demonstrations of systems and tools based on this approach. \u003c\/blockquote\u003e\u003cp\u003e\u003cstrong\u003eFormat\u003c\/strong\u003e: Paperback \/ softback\u003cbr\u003e\u003cstrong\u003eLength\u003c\/strong\u003e: 636 pages\u003cbr\u003e\u003cstrong\u003ePublication date\u003c\/strong\u003e: 24 October 2022\u003cbr\u003e\u003cstrong\u003ePublisher\u003c\/strong\u003e: Springer Nature Switzerland AG\u003cbr\u003e\u003c\/p\u003e \u003cp\u003e\u003cbr\u003eThis comprehensive book delves into fundamental principles that empower developers of computer programs, encompassing computer scientists, software engineers, and programmers, to approach their daily work with clarity and insight. It provides a comprehensive framework for understanding the artifacts they encounter, including data types, programming languages, programs that compute desired outputs from given inputs, and programs that describe continuously executing systems. The central message of this text is that the formal language of logic serves as a universal medium for expressing clear thinking about programs. Beyond its inherent elegance and expressiveness, this \"logical\" approach to formal modeling and reasoning about computer programs offers a significant advantage: thanks to advancements in computational logic, such as automated theorem proving, satisfiability solving, and model checking, much of this process can now be facilitated by software.\u003cbr\u003e\u003cbr\u003eTo support its theoretical discussions, this book accompanies practical demonstrations of various systems and tools that are built upon or utilize the presented logical foundations. By exploring these practical applications, readers gain a hands-on understanding of how the theoretical concepts can be applied in real-world scenarios, enhancing their ability to develop effective and efficient computer programs.\u003cbr\u003e\u003cbr\u003eIn summary, this book serves as a valuable resource for anyone seeking to deepen their understanding of computer programming and develop a more logical and rigorous approach to software development. Its comprehensive coverage of fundamental principles, coupled with practical demonstrations, enables developers to create programs that are not only efficient but also robust and reliable.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eWeight\u003c\/strong\u003e: 1015g\u003cbr\u003e\u003cstrong\u003eDimension\u003c\/strong\u003e: 235 x 155 (mm)\u003cbr\u003e\u003cstrong\u003eISBN-13\u003c\/strong\u003e: 9783030805098\u003cbr\u003e \u003cstrong\u003eEdition number\u003c\/strong\u003e: 1st ed. 2021\u003c\/p\u003e","brand":"Wolfgang Schreiner","offers":[{"title":"Paperback \/ softback","offer_id":44249552879866,"sku":"9783030805098","price":49.97,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0522\/4297\/2845\/products\/noImage_1_581545f8-3f30-4e3b-8f07-1c4052e3de6a.jpg?v=1684840779","url":"https:\/\/shulphink.com\/products\/thinking-programs-logical-modeling-and-reasoning-about-languages-data-computations-and-executions-9783030805098","provider":"Shulph Ink","version":"1.0","type":"link"}