Browse by author
Lookup NU author(s): Emeritus Professor Cliff JonesORCiD
Full text is not currently available for this publication.
Author(s): Bjørner D, Jones CB
Series Editor(s): Hoare, C.A.R.
Publication type: Authored Book
Publication status: Published
Series Title: Prentice Hall International Series in Computer Science
Year: 1982
Number of Pages: 501
Publisher: Prentice Hall International
Place Published: Englewood Cliffs, NJ
Notes: Scanned PDF now available at: http://homepages.cs.ncl.ac.uk/cliff.jones/ftp-stuff/BjornerJones1982/
Library holdings: Search Newcastle University Library for this item
ISBN: 0133290034