Towards a formal description of Ada.
Material type:
TextSeries: Lecture notes in Computer Science ; 98Publication details: Berlin Springer-Verlag 1980Description: xii, 630p. BiblSubject(s): DDC classification: - 518.5424A B626.TF
| Item type | Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Book
|
ISID | 518.5424A B626.TF (Browse shelf(Opens below)) | Available | DP17429 |
Browsing ISID 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 | No cover image available | No cover image available | ||
| 517 Y69.SN A survey of numerical mathematics | 517 Y69.SN A survey of numerical mathematics | 517.52 M968.IR Introductory real analysis / | 518.5424A B626.TF Towards a formal description of Ada. | 518.5424A B821.OT Optimized translation process and its applications to ALGOL 68 / | 518.5424A F795.FC A first course in ALGOL 60 / | 518.5424A L473.AD ADA : an introduction / |
There are no comments on this title.
Log in to your account to post a comment.