| 000 | 00738nam a22001817a 4500 | ||
|---|---|---|---|
| 005 | 20250709115127.0 | ||
| 008 | 250709b |||||||| |||| 00| 0 eng d | ||
| 020 |
_a9780792378228 _qhbk |
||
| 041 | _aeng | ||
| 082 |
_a005.133C _bGAJ |
||
| 100 | _aGajski Daniel D. | ||
| 245 |
_aSpecc _b: specification language and methodology _cDaniel D. Gajski |
||
| 260 |
_aDordrecht _bKluwer Academic Pub. _c2001 |
||
| 300 |
_axvi; 313 p. _c25 cm. |
||
| 504 | _aBib and Ref | ||
| 520 | _aSpecC 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. | ||
| 942 | _cREF | ||
| 999 |
_c575224 _d575224 |
||