Thinking Programs: Logical Modeling and Reasoning About Languages, Data, Computations, Executions (Texts & Monographs in Symbolic Computation)
Compare webshops (1)
Shop
Price