Formal specification and design /

Bibliographic Details
Main Author: Feijs, L. M. G. (Loe M. G.)
Other Authors: Jonkers, H. B. M.
Format: Book
Language:English
Published: Cambridge ; New York : Cambridge University Press, 1992.
Series:Cambridge tracts in theoretical computer science ; 35.
Subjects:
Description
Physical Description:xvi, 335 pages : illustrations ; 26 cm.
Bibliography:Includes bibliographical reference (pages 303-307) and index.
ISBN:0521434572