The Library of Congress > Linked Data Service > BIBFRAME Works

Bibframe Work

Title
Specification and proof in real-time CSP
Type
Text
Monograph
Classification
LCC: QA76.54 .D38 1993 (Assigner: dlc) (Status: used by assigner)
DDC: 004/.33 full (Assigner: dlc)(Source: 20)
Supplementary Content
bibliography (bibliography)
Content
text (txt)
Authorized Access Point
Davies, Jim, 1964- Specification and proof in real-time CSP