The deductive foundations of computer programming a one-volume version of the logical basis for computer programming

The deductive foundations of computer programming a one-volume version of the logical basis for computer programming

Bibliographic Details
Main Author: Manna, Zohar
Other Authors: Waldinger, Richard
Format: Book
Language:English
Published: Reading, Mass. Addison-Wesley c1993.
Subjects:
Electronic digital computers > Programming.
Logic, Symbolic and mathematical.