Proceedings on semantics of data types by Kahn G Ed.; Macqueen D B Ed.; Plotkin G Ed.
Material type:
TextLanguage: English Series: Lecture notes in computer science; 173Publication details: Berlin Springer-Verlag 1984Description: vi, 391p. cmSubject(s): DDC classification: - D65,8(B)92:(P:4)p1,N84, M4
| Item type | Current library | Home library | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
Textual
|
Central Science Library | Central Science Library | D65,8(B)92:(P:4)p1,N84 M4 (Browse shelf(Opens below)) | Available | SL0839959 |
Browsing Central Science Library shelves Close shelf browser (Hides shelf browser)
| D65,8(B)92p1,N90 N0 Proceedings on software engineering education | D65,8(B)92:(P3) N0 Proceeding on semantics for concurrency | D65,8(B)92:(P:4) M7 Natural language understanding | D65,8(B)92:(P:4)p1,N84 M4 Proceedings on semantics of data types | D65,8(B)92p5931,N88 M8 Proceeding on VDM88:The way ahead | D65,8(B)92p5,N87 M7 Proceeding on ESEC`87 | D65,8(B)92Par M5 Paragon: A language using type hierarchies for the specification, implementation and selection of abstract data types |
There are no comments on this title.
Log in to your account to post a comment.