Research Catalog
Formal methods in standards : a report from the BCS Working Group
- Title
- Formal methods in standards : a report from the BCS Working Group / C.L.N. Ruggles, (ed.) ; principal contributors, Derek Andrews ... [et. al.].
- Publication
- London ; New York : Springer-Verlag, 1990.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSF 92-184 | Offsite |
Details
- Additional Authors
- Description
- 135 p. : ill.; 24 cm.
- Subject
- Bibliography (note)
- Includes bibliographical references (p. [79]-92].
- Call Number
- JSF 92-184
- ISBN
- 0387195777 (alk. paper)
- 3540195777 (alk. paper)
- LCCN
- 90035889
- OCLC
- 21448260
- NYPG91-B46587
- Title
- Formal methods in standards : a report from the BCS Working Group / C.L.N. Ruggles, (ed.) ; principal contributors, Derek Andrews ... [et. al.].
- Imprint
- London ; New York : Springer-Verlag, 1990.
- Bibliography
- Includes bibliographical references (p. [79]-92].
- Added Author
- Ruggles, C. L. N. (Clive L. N.)Andrews, Derek.British Computer Society. Formal Methods in Standards Working Group.
- Research Call Number
- JSF 92-184