The deductive foundations of computer programming : a one-volume version of The logical basis for computer programming
Author(s)
Bibliographic Information
The deductive foundations of computer programming : a one-volume version of The logical basis for computer programming
Addison-Wesley Pub. Co., c1993
Available at / 9 libraries
-
No Libraries matched.
- Remove all filters.
Note
Condensed and simplified version of the original work
Includes bibliographical references (p. [673]-677) and indexes
