TY  - BOOK
AU  - Gajski Daniel D. 
TI  - Specc: : specification language and methodology
SN  - 9780792378228
U1  - 005.133C 
PY  - 2001///
CY  - Dordrecht
PB  - Kluwer Academic Pub.
N1  - Bib and Ref
N2  - SpecC Specification Language and Methodology will be of interest to researchers, designers, and managers dealing with system-level design, design flows and methodologies as well as students learning system specification, modeling and design

ER  -