Wolfgang Schreiner
Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
💎 Earn 249 Points (£2.49) on this item.
YOU SAVE £10.02
- Condition: Brand new
- UK Delivery times: Usually arrives within 2 - 3 working days
- UK Shipping: Fee starts at £2.39. Subject to product weight & dimension
Bulk ordering. Want 15 or more copies? Get a personalised quote and bigger discounts. Learn more about bulk orders.
Couldn't load pickup availability
- More about Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
This 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.
Format: Paperback / softback
Length: 636 pages
Publication date: 24 October 2022
Publisher: Springer Nature Switzerland AG
This 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.
To 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.
In 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.
Weight: 1015g
Dimension: 235 x 155 (mm)
ISBN-13: 9783030805098
Edition number: 1st ed. 2021
This item can be found in:
UK and International shipping information
UK and International shipping information
UK Delivery and returns information:
- Delivery within 2 - 3 days when ordering in the UK.
- Shipping fee for UK customers from £2.39. Fully tracked shipping service available.
- Returns policy: Return within 30 days of receipt for full refund.
International deliveries:
Shulph Ink now ships to Australia, Belgium, Canada, France, Germany, Ireland, Italy, India, Luxembourg Saudi Arabia, Singapore, Spain, Netherlands, New Zealand, United Arab Emirates, United States of America.
- Delivery times: within 5 - 10 days for international orders.
- Shipping fee: charges vary for overseas orders. Only tracked services are available for most international orders. Some countries have untracked shipping options.
- Customs charges: If ordering to addresses outside the United Kingdom, you may or may not incur additional customs and duties fees during local delivery.
