The Library of Congress > Linked Data Service > BIBFRAME Works

Bibframe Work

Title
Integrated formal methods
Type
Text
Monograph
Contribution
International Conference on Integrated Formal Methods (5th : 2005 : Eindhoven, Netherlands) (Contributor)
Romijn, Judi (Contributor)
Smith, Graeme, 1966- (Contributor)
Pol, Jaco van de (Contributor)
Subject
Formal methods (Computer science)--Congresses (LCSH)
Genre Form
Conference papers and proceedings (LCGFT)
Language
English
Illustrative Content
Illustrations
Classification
LCC: QA76.9.F67 I58 2005 (Assigner: dlc) (Status: used by assigner)
DDC: 004.01/51 full (Assigner: dlc)(Source: 22)
Supplementary Content
bibliography
index
Content
text
Table Of Contents
There is data present in bf:tableOfContents but it cannot be rendered
Authorized Access Point
International Conference on Integrated Formal Methods (5th : 2005 : Eindhoven, Netherlands) Integrated formal methods
Admin Metadata
Generation Process: DLC marc2bibframe2 v2.5.0
Status: changed
Encoding Level: core
Description Conventions: Anglo-American cataloguing rules
Identified By: bf:Local, 14143580
Change Date: 2006-07-17T13:05:04
Creation Date: 2005-10-17
Description Modifier: United States, Library of Congress
Description Authentication: Program for Cooperative Cataloging
Assigner: United States, Library of Congress