Logics of programs
Material type: TextLanguage: Eng Series: Lecture notes in computer science ; 00193Publication details: Berlin Spriger Verlag 1985; Springer-Verlag ISBN: 3540156488Subject(s): Computer ScienceCurrent library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 681 LNCS (Browse shelf (Opens below)) | Available | 74623 | ||
IMSc Library | IMSc Library | 681 LNCS (Browse shelf (Opens below)) | Available | 22827 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
681 LNCS Current trends in concurrency, overviews and tutorials | 681 LNCS Study in String Processing Languages | 681 LNCS Functional Programming Languages and Computer Architecture | 681 LNCS Logics of programs | 681.3 CRO Jewels of stringology |
There are no comments on this title.