BIBFRAME Instance

Title

Software Engineering and Formal Methods

Subtitle

15th International Conference, SEFM 2017, Trento, Italy, September 4-8, 2017, Proceedings

Identified by

• Local: 978-3-319-66197-1
• Isbn: 9783319661971
• Lccn: 2019767012
• Doi: 10.1007/978-3-319-66197-1

Note

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

Extent

1 online resource (XIX, 410 pages 94 illustrations)

Provision Activity

• Publication: Germany 2017

Publication Statement

Cham: Springer International Publishing, Imprint: Springer, 2017

Responsibility Statement

edited by Alessandro Cimatti, Marjan Sirjani

Media

• computer

Issuance

• single unit

Carrier

• online resource

Digital characteristic

• PDF file
• text file

Edition statement

1st ed. 2017.

Admin Metadata

• Date: 2026-09-11T20:18:40.697139+00:00
• Agent: cbc
• Status: c
• Derived from: 21821309

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