Thinking Programs : Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
Wolfgang Schreiner.
Thinking Programs : Logical Modeling and Reasoning About Languages, Data, Computations, and Executions - Cham Springer 2021
9783030805074
Mathematical logic. Computer science-Mathematics. Mathematical Logic and Foundations. Mathematics of Computing.
Thinking Programs : Logical Modeling and Reasoning About Languages, Data, Computations, and Executions - Cham Springer 2021
9783030805074
Mathematical logic. Computer science-Mathematics. Mathematical Logic and Foundations. Mathematics of Computing.