COMPUTER PROGRAM SYNTHESIS METHODOLOGIES
By: BIERMANN, ALAN W.
Contributor(s): GUIHO, GERARD.
Series: Nato Advanced Study Institutes Series , Series C, Mathematical And Physical Sciences V. 95. Publisher: Dordrecht D. Reidel Pub. 1983Description: ix,374.Subject(s): Electronic Digital Computers -- Programming -- CongressesDDC classification: 001.642 | N214c| Item type | Current location | Collection | Call number | url | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
Books
|
PK Kelkar Library, IIT Kanpur | COMPACT STORAGE (BASEMENT) | 001.642 N214c (Browse shelf) | Book Request | Available | A78167 |
Total holds: 0
Browsing PK Kelkar Library, IIT Kanpur Shelves , Collection code: COMPACT STORAGE (BASEMENT) Close shelf browser
| 001.642 M992c Composite/Structured design | 001.642 N164I AN INTRODUCTION TO LISP | 001.642 N214 COMPUTER ORIENTED LEARNING PROCESSES | 001.642 N214c COMPUTER PROGRAM SYNTHESIS METHODOLOGIES | 001.642 N214p PROGRAM TRANSFORMATION AND PROGRAMMING ENVIRONMENTS | 001.642 Og2s SOFTWARE DESIGN FOR MINICOMPUTERS | 001.642 Ol4 Computers and programming |
Published In Cooperation With Scientific Affairs
There are no comments for this item.