Programming solutions handbook for IBM microcomputers
著者
書誌事項
Programming solutions handbook for IBM microcomputers
McGraw-Hill, c1991
大学図書館所蔵 件 / 全3件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
内容説明・目次
内容説明
This is a time-saving guide for solving PC programming problems, with a diskette containing source and executable codes. The book provides a collection of routines to solve not only the most common problems encountered in a language, but also unusual programming problems. The areas covered include: coding an operating system; laser printer programming; graphics and animated games; and event modelling and computer simulations. The handbook offers many code samples contained in complete programs - some of the programs being finished applications.
目次
Functional Languages and Constructive Theories of Functions and Types. The Predicate Calculus. The Lambda Calculus. Partiality and Termination. Towards a Functional Language. A Simple Theory of Types. Constructive Type Theories. Structural Inductive Types. Well-Founded Inductive Types. Polymorphism and Abstract Data Types. Realizability. Harrop Realizability. An Introduction to Constructive Functional Programming Program Synthesis.
「Nielsen BookData」 より
