Toggle Main Menu Toggle Search

Open Access padlockePrints

Formal Specification and Software Development

Lookup NU author(s): Professor Cliff Jones

Downloads

Full text is not currently available for this publication.


Publication metadata

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


Actions

Link to this publication


Share