Formal specification and design /

Saved in:
Bibliographic Details
Author / Creator:Feijs, L. M. G. (Loe M. G.)
Imprint:Cambridge ; New York : Cambridge University Press, 1992.
Description:xvi, 335 p. : ill. ; 26 cm.
Language:English
Series:Cambridge tracts in theoretical computer science 35
Subject:
Format: Print Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/1487975
Hidden Bibliographic Details
Other authors / contributors:Jonkers, H. B. M.
ISBN:0521434572
Notes:Includes bibliographical reference (p. 303-307) and index.