The Library of Congress > Linked Data Service > BIBFRAME Works

Bibframe Work

Title
Formal methods in programming and their applications Formal methods in programming and their applications :
Type
Text
Language
English
Illustrative Content
illustrations
Classification
LCC: QA76.6 .F577 1993 (Source: dlc)
DDC: 005.1 full (Assigner: dlc)
Identified By
Lccn: 93021317
Authorized Access Point
Bjørner, D. (Dines), 1937- Formal methods in programming and their applications
Authorized Access Point Variant
Broy, M., 1949- Formal methods in programming and their applications
Pottosin, I. V. Formal methods in programming and their applications