The Library of Congress > Linked Data Service > BIBFRAME Works

Bibframe Work

Title
Program design which is provably correct
Type
Text
Monograph
Contribution
Martin, James, 1933-2013 (Contributor)
Subject
Computer programming (LCSH)
Programming languages (Electronic computers) (LCSH)
Debugging in computer science (LCSH)
Language
English
Illustrative Content
Illustrations
Classification
LCC: QA76.6 .M3614 1982
DDC: 001.64/2 full
Could not render: bf:status
Supplementary Content
bibliography
index
Content
text
Authorized Access Point
Martin, James, 1933-2013 Program design which is provably correct
Admin Metadata
Generation Process: DLC marc2bibframe2 v2.5.0
Status: changed
Encoding Level: full
Description Conventions: Anglo-American cataloguing rules
Identified By: bf:Local, 1413518
Change Date: 2013-07-01T11:36:08
Creation Date: 1984-02-17
Description Modifier: United States, Library of Congress
Non-rendered Predicates: lclocal:d906 bf:assigner