The Library of Congress > Linked Data Service > BIBFRAME Works

Bibframe Work

Title
Formal methods in programming and their applications
Type
Text
Monograph
Contribution
Bjørner, D. (Dines), 1937- (Contributor)
Broy, M., 1949- (Contributor)
Pottosin, I. V. (Contributor)
Subject
Computer programming (LCSH)
Formal methods (Computer science) (LCSH)
Language
English
Illustrative Content
Illustrations
Classification
LCC: QA76.6 .F577 1993
DDC: 005.1 full
Could not render: bf:status
Content
text
Authorized Access Point
Formal methods in programming and their applications
Admin Metadata
Generation Process: DLC marc2bibframe2 v2.5.0
Status: changed
Encoding Level: full
Description Conventions: Anglo-American cataloguing rules
Identified By: bf:Local, 2996628
Change Date: 2013-06-03T08:26:44
Creation Date: 1993-09-01
Description Modifier: United States, Library of Congress
Non-rendered Predicates: lclocal:d906 lclocal:d955 bf:assigner