Compiler specification and verification
Material type:
TextSeries: Lecture notes in Computer Science ; 124Publication details: Berlin Springer-Verlag 1981Description: xiii, 269pSubject(s): DDC classification: - 518.5425 P762.CS
| Item type | Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Book
|
ISID | 518.5425 P762.CS (Browse shelf(Opens below)) | Available | DP17737 |
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 | ||
| 518.5425 M652.SR Software for Roundoff analysis of matrix algorithms / | 518.5425 M682.DM Data management using stata | 518.5425 Oq62.SA Survival analysis: proportional and non-proportional hazards regression / | 518.5425 P762.CS Compiler specification and verification | 518.5425 P998.CD Compiler design and construction / | 518.5425 R975.GA The GAMS/MPSGE and GAMS/MILE user notes | 518.5425 R975.GA The GAMS/MPSGE and GAMS/MILE user notes |
There are no comments on this title.
Log in to your account to post a comment.