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
Published In Cooperation With Scientific Affairs
There are no comments for this item.