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.
Series:Computers and their applications.
Subjects:
Description
Item Description:Includes index.
Physical Description:284 pages
Bibliography:Bibliography: pages [276]-282.
ISBN:0745801099 :