Formal Specification and Implementation Using Z (Prentice Hall International Series in Computing Science)

by John A. McDermid

Paperback

details (USA).

ISBN: 978-0-13-326380-0

ISBN-10: 0-13-326380-0

Prentice Hall · 1993