Buy Used and New David Till Books

Introduction Formal Specification And Z (2nd Edition) (Prentice-Hall International Series in Computer Science)

by Ben Potter,Jane Sinclair,David Till

ISBN 13: 9780132422079

Format: Paperback (448 pages)
Publisher: Prentice Hall
Published: 21 Jun 1996

Save for later

ZUM'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings: 1212 (Lecture Notes in Computer Science)

by Jonathan P. Bowen,David Till,Michael G. Hinchey

ISBN 13: 9783540627173

Format: Paperback (452 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later