思考するプログラム：言語・データ・計算・実行にかかわる論理的モデル化・推論（テキスト・第２版）
Thinking Programs
Logical Modeling and Reasoning About Languages, Data, Computations, and Executions
Texts & Monographs in Symbolic Computation
Schreiner, Wolfgang
- 出版社：Springer
- 出版年月：2025年 09月
- ISBN：9783031997044
- 装丁：HRD
-
装丁について
- 言語：ENG
- 版次：2ND
- 巻数・ページ数：649 p.
- 分類： プログラミング & OS
- 内容紹介：
-
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 wanted outputs from given inputs, and programs that describe continuously executing systems.