Placeholder text
Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions (Texts & Monographs in Symbolic Computation)
Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, and Executions (Texts & Monographs in Symbolic Computation)
0 - Default Title
Product details
Binding:
Paperback
Edition:
1
Number of Pages:
669
Release Date:
2022-10-24
Publication Date:
2022-10-24
Publisher:
Springer
Languages:
Published:
English,
Original:
English
ISBN10:
3030805093
GPSR Manufacturer Reference:
Weight:
925 g
Currently sold out