BIBFRAME Work

Title

Formal aspects of computing

Other Titles (e.g. Variant)

• Formal aspects of computing
• Form. asp. comput.

Type

• Text
• Serial

Contribution

• British Computer Society. Specialist Group in Formal Aspects of Computing Science (issuing body)

Subject

• Computers
• Theoretische Informatik (GND)
• Zeitschrift (GND)
• Programmeren (computers) (GTT)
• Computer science (LCSH)
• Formale Methode (GND)
• Systementwicklung (GND)
• Formele talen (GTT)
• Computer science (FAST)
• Formale Sprache (GND)
• Online-Ressource (GND)
• Informatique--Périodiques (RVM)

Genre Form

• Zeitschrift (SWD)
• Periodicals (LCGFT)
• Periodicals (FAST)
• Electronic journals (LCSH)
• Online-Publikation (SWD)

Language

• English

Classification

• DDC: 004.05
• LCC: QA75.5 (Assigner: dlc) (Status: used by assigner)

Identified by

• Issn: 1433-299X
• IssnL: 0934-5043

Content

• text

Serial pub type

• periodical

Authorized Access Point

Formal aspects of computing

Admin Metadata

• Date: 2026-09-11T20:21:08.018294+00:00
• Agent: cbc
• Status: c
• Derived from: 20133388

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