The Logical basis for computer programming

Bibliographic Details
Main Author: Manna, Zohar (-)
Other Authors: Waldinger, Richard
Format: Book
Language:Inglés
Published: Reading [etc.] : Addison-Wesley 1985-1990
Series:Addison-Wesley series in computer science
Subjects:
See on Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991001736729706719
Description
Physical Description:2 v. ; 25 cm
ISBN:9780201182606
9780201182613