Browse by author
Lookup NU author(s): Professor Cliff JonesORCiD
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
Editor(s): Bjørner D, Jones CB
Publication type: Edited Book
Publication status: Published
Series Title: Lecture Notes in Computer Science
Year: 1978
Volume: 61
Number of Pages: 382
Publisher: Springer-Verlag
Place Published: Berlin
URL: http://dx.doi.org/10.1007/3-540-08766-4
DOI: 10.1007/3-540-08766-4
Library holdings: Search Newcastle University Library for this item
ISBN: 3540087664
