Introduction to Formal Specification and Z (Prentice-Hall International Series in Computer Science)

International

by: Ben Potter · Jane Sinclair · David Till

Paperback

ISBN: 978-0-13-478702-2

ISBN-10: 0-13-478702-1

Prentice Hall · 1991