Abstract interpretation of declarative languages /

Bibliographic Details
Other Authors: Abramsky, Samson, 1953-, Hankin, Chris
Format: Book
Language:English
Published: Chichester, West Sussex, England : New York : E. Horwood ; Halsted Press, 1987
Chichester, West Sussex, England : New York : 1987
Series:Computers and their applications
Subjects:

Internet

Stanford University

Holdings details from Stanford University
Call Number: QA76.7 .A2 1987

Yale University

Holdings details from Yale University
Call Number: QA76.7 A2 1987 (LC)

University of Chicago

Holdings details from University of Chicago
Call Number: QA76.7.A20 1987

Massachusetts Institute of Technology

Holdings details from Massachusetts Institute of Technology
Call Number: QA76.7.A2 1987

Cornell University

Holdings details from Cornell University
Call Number: QA76.7 .A106

Columbia University

Holdings details from Columbia University
Call Number: QA76.7 .A2 1987

Brown University

Holdings details from Brown University
Call Number: QA76.7 .A2 1987