FORMAL SPECIFICATION AND DESIGN
By: Feijs, L. M. G.
Contributor(s): Jonkers, H. B. M.
Material type: BookSeries: Cambridge Tracts In Theoretical Computer Science No. 35. Publisher: Cambridge Cambridge Univ. Press c1992Description: xvi,335.ISBN: 0521434572.Subject(s): Software Engineering | Programming Languages (Electronic Computers)DDC classification: 001.6425 | F324fItem type | Current location | Collection | Call number | url | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Books | PK Kelkar Library, IIT Kanpur | COMPACT STORAGE (BASEMENT) | 001.6425 F324f (Browse shelf) | Book Request | Available | A116161 |
Total holds: 0
Includes Bibliographical References And Index
There are no comments for this item.