The logical basis for computer programming ; 1 ; Deductive reasoning

Bibliographic Details
Published in:The logical basis for computer programming, 1
Main Author: Manna, Zohar (Author)
Other Involved Persons: Waldinger, Richard
Format: Book
Published: Reading, Mass. [u.a.] : Addison-Wesley 1985
ISBN:0201182602
9780201182606
Series:Addison-Wesley series in computer science
Physical Description:XII, 618 S graph. Darst
Other Editions:Show all 7 Editions
QR Code: Show QR Code