Proceedings on logics of programs and their applications/lecture notes in computer science (148) Salwicki A Ed.
Material type:
TextLanguage: English Series: Lecture notes in computer science; 148Publication details: Berlin Springer Verlag 1983Description: vi, 324p. cmDDC classification: - D65,8(B)92p1,N80, M3
| Item type | Current library | Home library | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
Textual
|
Central Science Library | Central Science Library | D65,8(B)92p1,N80 M3 (Browse shelf(Opens below)) | Available | SL0838514 |
Browsing Central Science Library shelves Close shelf browser (Hides shelf browser)
| D65,8(B)92p1,N79 M1 Proceeding on logic of programs | D65,8(b)92p1,N8 M8 Proceeding on ecoop 88 object oriented programming | D65,8(B)92p1,N80 M2 Problems and methodologies in mathematical software production | D65,8(B)92p1,N80 M3 Proceedings on logics of programs and their applications/lecture notes in computer science (148) | D65,8(B)92p1,N81 M1 Proceedings of the relationship between numerical computation and programming languages | D65,8(B)92p1,N81 M2 Proceeding on IFAC/IFP workshop on real time programming | D65,8(B)92p1,N81 M2 Proceeding of file structures and data base for CAD |
There are no comments on this title.
Log in to your account to post a comment.