BIBFRAME Instance

Title

Formal Methods and Software Engineering

Subtitle

19th International Conference on Formal Engineering Methods, ICFEM 2017, Xi'an, China, November 13-17, 2017, Proceedings

Identified by

• Lccn: 2019758417
• Local: 978-3-319-68690-5
• Doi: 10.1007/978-3-319-68690-5
• Isbn: 9783319686905

Note

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

Extent

1 online resource (XVII, 498 pages 134 illustrations)

Provision Activity

• Publication: Germany 2017

Publication Statement

Cham: Springer International Publishing, Imprint: Springer, 2017

Responsibility Statement

edited by Zhenhua Duan, Luke Ong

Media

• computer

Issuance

• single unit

Carrier

• online resource

Digital characteristic

• text file
• PDF file

Edition statement

1st ed. 2017.

Admin Metadata

• Date: 2026-09-30T17:47:40.041793+00:00
• Agent: cbc
• Status: c
• Derived from: 21768989

Admin Metadata

• Date: 2026-09-30
• Cataloger id: Unknown
• Description level: http://id.loc.gov/ontologies/bibframe-2-6-0/
• Description language: eng
• Description authentication: pcc