Formal models in programming : proceedings...
By: IFIP TC2 Working Conference on the Role of Abstract Models in Information Processing Vienna, Austria.
Contributor(s): Neuhold, E. J. [ed.] | Chroust, G. [ed.].
Publisher: Amsterdam North-Holland 1985Description: xix, 425p.ISBN: 0444878882.Subject(s): Electronic digital computers -- Programming -- CongressesDDC classification: 001.642 | In8fItem type | Current location | Collection | Call number | url | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Books | PK Kelkar Library, IIT Kanpur | COMPACT STORAGE (BASEMENT) | 001.642 In8f (Browse shelf) | Book Request | Available | A94821 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur Shelves , Collection code: COMPACT STORAGE (BASEMENT) Close shelf browser
001.642 In8a An analysis of the information technology standardization process | 001.642 IN8E ENGINEERING FOR HUMAN-COMPUTER INTERACTION | 001.642 In8f FORMAL DESCRIPTION OF PROGRAMMING | 001.642 In8f Formal models in programming | 001.642 In8f Foundation for human computer communication | 001.642 In8m Methodology in computer graphics | 001.642 In8o OPERATING SYSTEMS TECHNIQUES |
There are no comments for this item.