
Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
Paperback Published on: 24/10/2022
Price: £59.99
Publisher information
- Publisher: Springer Nature Switzerland AG
- ISBN: 9783030805098
- Number of pages: 636
- Dimensions: 235 x 155 mm
- Languages: English

















