Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
Hardback Published on: 23/10/2021
Price: £89.99
Publisher information
- Publisher: Springer Nature Switzerland AG
- ISBN: 9783030805067
- Number of pages: 636
- Dimensions: 235 x 155 mm
- Languages: English


