The Library of Congress > Linked Data Service > BIBFRAME Works

Bibframe Work

Title
Formal methods in software and systems modeling Formal methods in software and systems modeling :
Type
Text
Subject
Formal methods (Computer science)
Computer software.
Computer systems--Design and construction.
Genre Form
festschrift
Language
English
Illustrative Content
illustrations
Classification
LCC: QA76.9.F67 F66 2005 (Source: dlc)
DDC: 004/.01/51 full (Assigner: dlc)
Identified By
Lccn: 2005920315
Authorized Access Point
Ehrig, Hartmut. Formal methods in software and systems modeling
Authorized Access Point Variant
Kreowski, H.-J. (Hans-Jörg) Formal methods in software and systems modeling