An Introduction to Formal Specifications and Z
Pearson Education Limited (Publisher)
Published on 1. February 1991
Book
Paperback/Softback
324 pages
978-0-13-478561-5 (ISBN)
More details
Language
English
Place of publication
Harlow
United Kingdom
Publishing group
Prentice Hall Europe (a Pearson Education company)
Target group
College/higher education
ISBN-13
978-0-13-478561-5 (9780134785615)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification
Persons
Author
Programming Research Group, Oxford University
Programming Research Group, Oxford University
City University, London