Algorithms the construction, proof, and analysis of programs
Material type:
TextPublication details: New York ; John Wiley and sons ; 1986ISBN: 0471908444
BOOKS
| Current library | Home library | Call number | Materials specified | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
| IMSc Library | IMSc Library | 681.3.06 BER (Browse shelf (Opens below)) | Available | 24822 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
|
No cover image available | No cover image available |
|
No cover image available | No cover image available | No cover image available | ||
| 681.3.05 BIS JAVA Gently | 681.3.06 BEN An introduction to Real time computer control | 681.3.06 BER Concurrency control and recovery in database systems | 681.3.06 BER Algorithms | 681.3.06 BES An introduction to default logics | 681.3.06 BHA Frontiers in knowledge based computing | 681.3.06 BIRD Programs and machines |
D6,8(B) M636
There are no comments on this title.