Formal Specification and Documentation Using Z: A Case Study Approach

by Jonathan Bowen

Intl Thomson Computer Pr (Sd) · 1996

Ppb.

details (United Kingdom).

details (USA).

details (Canada).

details (Germany).

details (France).

ISBN: 978-1-85032-230-6

ISBN-10: 1-85032-230-9