The logical basis for computer programming. Volume 2., Deductive systems. /

Saved in:
Bibliographic Details
Main Authors: Manna, Zohar (Author), Waldinger, Richard (Author)
Format: Book
Language:English
Published: Reading-Menlo Park-New York : Addison-Wesley Publishing Co., 1990
Edition:1. vyd.
Subjects:
ISBN: 0201182610 (viaz.)
Physical Description: 642 s.
Tags: Add Tag
No Tags, Be the first to tag this record!