The Library of Congress > Linked Data Service > BIBFRAME Instances

Bibframe Instance

Title
Formal methods for the design of real-time systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004 : revised lectures
Identified By
Lccn: 2004111362
Isbn: 3540230688 (softcover : alk. paper)
Supplementary Content
Includes bibliographical references and index.
Publisher description
Could not render: bf:electronicLocator
Note
Physical details: ill.
Dimensions
24 cm.
Extent
vi, 293 p.
Provision Activity
Publication: Germany 2004
Publication: Berlin; New York: Springer; c2004
Responsibility Statement
Marco Bernardo, Flavio Corradini (eds.).
Media
unmediated
Issuance
single unit
Admin Metadata
Generation Process: DLC marc2bibframe2 v2.5.0
Status: changed
Encoding Level: core
Description Conventions: Anglo-American cataloguing rules
Identified By: bf:Local, 13676850
Change Date: 2008-03-07T08:35:45
Creation Date: 2004-08-04
Description Modifier: United States, Library of Congress
Description Authentication: Program for Cooperative Cataloging
Assigner: United States, Library of Congress