The logical basis for computer programming ; 2 ; Deductive systems

Bibliographic Details
Published in:The logical basis for computer programming, 2
Main Author: Manna, Zohar (Author)
Other Involved Persons: Waldinger, Richard
Format: Book
Published: Reading, Mass. [u.a.] : Addison-Wesley 1990
ISBN:0201182610
9780201182613
Physical Description:642 S
Other Editions:Show all 6 Editions
QR Code: Show QR Code