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 c1985-c1990.
Series:Addison-Wesley series in computer science
Subjects: