Toggle Main Menu Toggle Search

Open Access padlockePrints

Formal Specification and Software Development

Lookup NU author(s): Professor Cliff JonesORCiD


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:

Library holdings: Search Newcastle University Library for this item

ISBN: 0133290034