Computer-aided specification techniques / Janos Demetrovics, Elod Knuth, Peter Rado.
Material type: TextSeries: Series in computer science ; vol. 1Publication details: Singapore : World Scientific, c1985.Description: ix, 114 p. : illISBN:- 9971978539
Item type | Current library | Collection | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|---|
Books | Matheson Library Main Collection | Main Collection | 004.21 D377 (Browse shelf(Opens below)) | Available | 056712 | ||
Books | Matheson Library | 004.21 D377 (Browse shelf(Opens below)) | Available | 056714 |
Browsing Matheson Library shelves Close shelf browser (Hides shelf browser)
004.165 Y94 Intel's SL architecture : designing portable applications / | 004.2 H417 Computer architecture and organization / | 004.2 L487c Computer information : a modular system / | 004.21 D377 Computer-aided specification techniques / | 004.21 S328 Foundations of computing : system development with set theory and logic / | 004.21 W959 Systems analysis and design / | 004.21 W959 Systems analysis and design / |
There are no comments on this title.
Log in to your account to post a comment.