Formal Specification and Documentation Using Z: A Case Study Approach

by Jonathan Bowen Paperback details (United Kingdom). ISBN: 978-1-85032-230-6 ISBN-10: 1-85032-230-9 Intl Thomson Computer Pr (Sd) · 1996