Towards a formal description of ada Bjorner D Ed.; Oest O N Ed.
Material type:
TextLanguage: English Series: Lecture notes in computer science; 98Publication details: Berlin Springer Verlag 1980Description: xii, 630p. cmSubject(s): DDC classification: - D65,8(B)92, M01
| Item type | Current library | Home library | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
Textual
|
Central Science Library | Central Science Library | D65,8(B)92 M01 (Browse shelf(Opens below)) | Available | SL0783525 |
Browsing Central Science Library shelves Close shelf browser (Hides shelf browser)
| D65,8(B)92 L92 Denotational description of programming lamgiages: n introduction | D65,8(B)92 M0 Compiler design and construction | D65,8(B)92 M01 Elementary computer programming in Fortran IV | D65,8(B)92 M01 Towards a formal description of ada | D65,8(B)92 M1 Program flow analysis: theory and applications | D65,8(B)92 M1 Programming language landscape | D65,8(B)92 M1 Principles of programming languages |
Bibliography 625-629p. cm.; Appendix 607-624p. cm.
There are no comments on this title.
Log in to your account to post a comment.