Thinking Programs : Logical Modeling and Reasoning About Languages, Data, Computations, and Executions /

This book describes some basic principles that allow developers of computer programs (computer scientists, software engineers, programmers) to clearly think about the artifacts they deal with in their daily work: data types, programming languages, programs written in these languages that compute fro...

Full description

Bibliographic Details

Main Author:	Schreiner, Wolfgang (Author)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2021.
Edition:	1st ed. 2021.
Series:	Texts & Monographs in Symbolic Computation, A Series of the Research Institute for Symbolic Computation, Johannes Kepler University, Linz, Austria,
Subjects:	Mathematical logic. Computer science-Mathematics. Mathematical Logic and Foundations. Mathematics of Computing. Electronic books.
Online Access:	Connect to the full text of this electronic book