The Library of Congress > Linked Data Service > BIBFRAME Works

Bibframe Work

Title
Formal methods for the design of real-time systems
Other Titles (e.g. Variant)
SRM-RT 2004
Type
Text
Monograph
Contribution
International School on Formal Methods for the Design of Computer, Communication, and Software Systems (4th : 2004 : Bertinoro, Italy) (Contributor)
Bernardo, Marco (Contributor)
Corradini, Flavio (Contributor)
Subject
Real-time data processing--Congresses (LCSH)
Formal methods (Computer science)--Congresses (LCSH)
Computer systems--Congresses (LCSH)
Computer software--Congresses (LCSH)
Genre Form
Conference papers and proceedings (LCGFT)
Language
English
Illustrative Content
Illustrations
Classification
LCC: QA76.54 .I575 2004 (Assigner: dlc) (Status: used by assigner)
DDC: 004/.33 full (Assigner: dlc)(Source: 22)
Supplementary Content
bibliography
index
Content
text
Authorized Access Point
International School on Formal Methods for the Design of Computer, Communication, and Software Systems (4th : 2004 : Bertinoro, Italy) Formal methods for the design of real-time systems
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