BIBFRAME Instance

Title

Formal System Verification

Subtitle

State-of the-Art and Future Trends

Identified by

• Local: 978-3-319-57685-5
• Lccn: 2019747018
• Isbn: 9783319576855
• Doi: 10.1007/978-3-319-57685-5

Note

description source: Description based on publisher-supplied MARC data.

Extent

1 online resource (XVI, 182 pages 71 illustrations, 49 illustrations in color.)

Provision Activity

• Publication: Germany 2018

Publication Statement

Cham: Springer International Publishing, Imprint: Springer, 2018

Responsibility Statement

edited by Rolf Drechsler

Media

• computer

Issuance

• single unit

Carrier

• online resource

Digital characteristic

• PDF file
• text file

Edition statement

1st ed. 2018.

Admin Metadata

• Date: 2026-09-11T20:13:24.522124+00:00
• Agent: cbc
• Status: c
• Derived from: 21680757

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