Munich project CIP by Bauer F L; Berghammer R; Broy M
Material type:
TextLanguage: English Series: Lecture notes in computer science; 18Publication details: Berlin Springer-verlag 1985Description: xi,275p. cmSubject(s): DDC classification: - D65,8(B)92, M5.1
| Item type | Current library | Home library | Call number | Vol info | Status | Barcode | |
|---|---|---|---|---|---|---|---|
Textual
|
Central Science Library | Central Science Library | D65,8(B)92 M5.1 (Browse shelf(Opens below)) | Pt 1 | Available | SL0842394 |
Browsing Central Science Library shelves Close shelf browser (Hides shelf browser)
| D65,8(B)92 M5 Introduction to formal program verification | D65,8(B)92 M5 Dataflow computing | D65,8(B)92 M5 Computer- aided specification techniques | D65,8(B)92 M5.1 Munich project CIP | D65,8(B)92 M5.1 Logical basis for computer programming | D65,8(B)92 M5.2 Munich project CIP | D65,8(B)92 M5.2 Logical basis for computer programming |
Appendix 235-275p.; Bibliography 228-234p.
There are no comments on this title.
Log in to your account to post a comment.