The Craft of Programming (Prentice-Hall
โ John C. Reynolds
๐ Library
๐
1981
๐ Prentice Hall
๐ English
โฆ LIBER โฆ
๐
The Specification of Computer Programs (International Computer Science Series)
โ Scribed by Thomas S. E. Maibaum, Wladyslaw M. Turski
- Publisher
- Addison-Wesley
- Year
- 1987
- Tongue
- English
- Leaves
- 287
- Series
- International Computer Science Series
- Category
- Library
โฌ Acquire This Volume
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
The Algebra of Programming (Prentice-Hal
โ Richard Bird, Oege de Moor
๐ Library
๐
1997
๐ English
Programming: The Derivation of Algorithm
โ A. Kaldewaij
๐ Library
๐
1990
๐ Prentice Hall
๐ English
<span>An introductory textbook for students of computer science. The book looks at the art of changing efficient algorithms that meets their specifications and discusses the calculational style of programing.</span>
PROLOG Programming for Artificial Intell
โ Ivan Bratko
๐ Library
๐
1986
๐ Addison Wesley
๐ English
Prolog, the logic programming language, is now recognized as a powerful vehicle for non-numeric programming. The syntax and semantics of Prolog are discussed, as well as the power of Prolog in a variety of application areas in artificial intelligence.
The Specification of Computer Programs
โ Maibaum T.S.E., Turski W.M.
๐ Library
๐
1987
๐ AW
๐ English
Principles of Programming Languages (Pre
โ R. D. Tennent
๐ Library
๐
1981
๐ Prentice Hall
๐ English