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 | F324f
| Item 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
Browsing PK Kelkar Library, IIT Kanpur Shelves , Collection code: COMPACT STORAGE (BASEMENT) Close shelf browser
| 001.6425 Eh88f Fundamentals of algebraic specification 1 | 001.6425 Eh88f Fundamentals of algebraic specification 1 | 001.6425 El61f cop.2 COMPILER CONSTRUCTION | 001.6425 F324f FORMAL SPECIFICATION AND DESIGN | 001.6425 F522c cop.2 CRAFTING A COMPILER | 001.6425 F524m MICROSOFT (R) WORD FOR THE MACINTOSH TM | 001.6425 F829u USING AUTOCAD |
Includes Bibliographical References And Index
There are no comments for this item.