BIBFRAME Work
Title
Formal aspects of computing
Other Titles (e.g. Variant)
- Formal aspects of computing
- Form. asp. comput.
Contribution
British Computer Society. Specialist Group in Formal Aspects of Computing Science. (contributor)
Language
Classification
- LCC: QA75.5 .F66 (Assigner: dlc) (Status: used by assigner)
- DDC: 004/.05 (Assigner: dlc)
Label
Formal aspects of computing
Admin Metadata
- Date: 2026-09-11T20:21:08.024878+00:00
- Agent: cbc
- Status: incmp
- Derived from: 11390480
Admin Metadata
- Date: 2026-09-11
- Cataloger id: Unknown
- Description level: http://id.loc.gov/ontologies/bibframe-2-6-0/
- Description language: eng
- Description authentication: pcc
Alternative Formats
Blue Core Actions
- Load to Marva Marva loads Instances, not Works. Open one of this Work's Instances and load that into Marva instead.
- Load to Sinopia
- Export to Catalog Only Instances can be exported. Open one of this Work's Instances and export that instead.