J. S. · J. Sinclair · Jane's · Peta Jane Sinclair
| title | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| An Introduction to Formal Specifications and Z | 978-0-13-478561-5 | 1991 | Ben Potter · David Till | |
| Introduction Formal Specification And Z | 978-0-13-242207-9 | 1996 | Ben Potter · David Till | |
| Introduction to Formal Specification and Z | 978-0-13-478702-2 | 1991 | Ben Potter · David Till | |
| Learning Technology for Education in Cloud - MOOC and Big Data: Third International Workshop, LTEC 2014, Santiago, Chile, September 2-5, 2014. ... Computer and Information Science, Band 446) | 978-3-319-10670-0 | 2014 | Lorna Uden · Yu-Hui Tao · Dario Liberona |