Research Catalog
Formal specification and design
- Title
- Formal specification and design / L.M.G. Feijs & H.B.M. Jonkers.
- Author
- Feijs, L. M. G. (Loe M. G.)
- Publication
- Cambridge ; New York : Cambridge University Press, 1992.
Items in the Library & Off-site
Filter by
1 Item
Status | Format | Access | Call Number | Item Location |
---|---|---|---|---|
Text | Request in advance | QA76.76.D47 F44 1992 | Off-site |
Holdings
Details
- Additional Authors
- Jonkers, H. B. M.
- Description
- xvi, 335 pages : illustrations; 26 cm.
- Series Statement
- Cambridge tracts in theoretical computer science ; 35
- Uniform Title
- Cambridge tracts in theoretical computer science ; 35.
- Subject
- Bibliography (note)
- Includes bibliographical reference (p. 303-307) and index.
- ISBN
- 0521434572
- LCCN
- 92253191
- OCLC
- 27680819
- ocm27680819
- Owning Institutions
- Columbia University Libraries