The Library of Congress > Linked Data Service > BIBFRAME Works

Bibframe Work

Title
Formal specification and software development Formal specification and software development
Type
Text
Language
English
Illustrative Content
illustrations
Classification
LCC: QA76.6 .B575 1982 (Source: dlc)
DDC: 001.64/2 full (Assigner: dlc)
Identified By
Lccn: 82007656
Authorized Access Point
Bjørner, D. (Dines), 1937- Formal specification and software development
Authorized Access Point Variant
Jones, C. B. (Cliff B.), 1944- Formal specification and software development