BIBFRAME Instance

Title

Formal Techniques for Distributed Systems

Subtitle

Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings

Identified by

• Local: 978-3-642-38592-6
• Isbn: 9783642385926
• Doi: 10.1007/978-3-642-38592-6
• Lccn: 2019746181

Note

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

Extent

1 online resource (XIV, 321 pages 66 illustrations)

Provision Activity

• Publication: Germany 2013

Publication Statement

Berlin, Heidelberg: Springer Berlin Heidelberg, Imprint: Springer, 2013

Responsibility Statement

edited by Dirk Beyer, Michele Boreale

Media

• computer

Issuance

• single unit

Carrier

• online resource

Digital characteristic

• PDF file
• text file

Edition statement

1st ed. 2013.

Admin Metadata

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

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