First-Order Programming Theories
Material type: TextSeries: EATCS Monographs on Theoretical Computer Science, v.24Publication details: Berlin ; Springer-Verlag ; 1991Description: 351ISBN: 3-540-54277-9Subject(s): Electronic digital computers-ProgrammingCurrent library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 681.3.06 GER (Browse shelf (Opens below)) | Available | 28665 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
(with 10 Figures)
There are no comments on this title.