Software engineering: Analysis and verification Lewis TG
Material type:
TextLanguage: English Publication details: 1982Description: vii,470p. cm. illSubject(s): DDC classification: - D65,8(B)92, M21
| Item type | Current library | Home library | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
Textual
|
Central Science Library | Central Science Library | D65,8(B)92 M21 (Browse shelf(Opens below)) | Available | SL0839259 |
Browsing Central Science Library shelves Close shelf browser (Hides shelf browser)
| D65,8(B)92 M2-;1 Introduction to simulation: programming techniques and methods of analysis | D65,8(B)92 M2-;1 Programming approach to computability | D65,8(B)92 M2-;1 Programming approach to computability | D65,8(B)92 M21 Software engineering: Analysis and verification | D65,8(B)92 M21 Automatic storage optimization | D65,8(B)92 M2;1 Numerical methods: A software approach | D65,8(B)92 M22 Software configuration management |
Includes bibliography
There are no comments on this title.
Log in to your account to post a comment.