1971年1月1日発売の新刊一覧
該当件数: 923件
1971年1月1日
Reflections on the formation and the distribution of riches [1770] Translated by William J. Ashley
発売済み
価格未定（税込・書誌情報提供：openBD）
Economic growth of nations; total output and production structure [by] Simon Kuznets
発売済み
価格未定（税込・書誌情報提供：openBD）
Symposium on semantics of algorithmic languages : [papers]
Axiom systems for simple assignment statements.- A property of linear conditionals.- Formalization of storage properties.- Program schemes, programs and logic.- Algebraic theories and program schemes.- Structure and meaning of elementary programs.- Procedures and parameters: An axiomatic approach.- Semantics of algol-like statements.- Proving correctness of implementation techniques.- Examples of formal semantics.- Experience with inductive assertions for proving programs correct.- Mathematical theory of partial correctness.- Towards automatic program synthesis.- The lattice of flow diagrams.
発売済み
価格未定（税込・書誌情報提供：openBD）