BIBFRAME Instance

Title

Formal aspects of computing

Electronic locator

  • http://books.google.com/books?id=WoxVAAAAMAAJ
  • http://link.springer.com/openurl?genre=journal&genre=journal&issn=0934-5043
  • http://firstsearch.oclc.org/journal=0934-5043;screen=info;ECOIP
  • http://firstsearch.oclc.org
  • http://books.google.com/books?id=uI5VAAAAMAAJ
  • http://books.google.com/books?id=1S5VAAAAMAAJ
  • http://books.google.com/books?id=xYpVAAAAMAAJ
  • http://books.google.com/books?id=II9VAAAAMAAJ
  • http://books.google.com/books?id=7YxVAAAAMAAJ
  • https://www.springer.com/journal/165

Identified by

  • Nbn: GBB5G3598
  • Lccn: 00227046
  • Coden: FACME5
  • Local: 013089440

Color content

Note

  • Began with v. 1, no. 1 (Mar. 1989).
  • Electronic
  • description source: Latest issue consulted: Volume 33, issue 2 (March 2021) (viewed July 15, 2021).
  • Address for accessing the journal using authorization number and password through OCLC FirstSearch Electronic Collections Online
  • Address for accessing the journal from an authorized IP address through OCLC FirstSearch Electronic Collections Online
  • description source: Description based on: Volume 1, issue 1 (March 1989); title from journal contents page (SpringerLink website, viewed Nov. 5, 2009).
  • from NESLi2 - Springer ( LINK ) : restrictions may apply. Check eJournal Title Search for details.
  • "Founded by BCS-FACS, the British Computer Society's Specialist Group in Formal Aspects of Computing Science."

Extent

1 online resource

Provision Activity

Publication Statement

London: Springer Verlag

Media

Issuance

Carrier

System requirement

Mode of access: World Wide Web.

Frequency

Admin Metadata

  • Date: 2026-09-11T20:21:08.042252+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

Alternative Formats

Blue Core Actions