Constructing correct software the basics
Material type:
TextLanguage: English Series: Formal approaches to computing and informationPublication details: London Springer-Verlag 1998Description: xiii,395pISBN: - 3-540-76156-X
- 005.140151 C772
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
| Books | ISI Library, Kolkata 4th Floor | 005.140151 C772 (Browse shelf(Opens below)) | Available | 119089 |
Total holds: 0
Browsing ISI Library, Kolkata shelves, Shelving location: 4th Floor Close shelf browser (Hides shelf browser)
| 005.14 R579 Debugging system 360/370 programs using OS and VS storage dumps | 005.14 Sch386 Verification and validation of modern software intensive systems | 005.14 T892 Program correctness over abstract data types,with error-state semantics | 005.140151 C772 Constructing correct software | 005.15 L839 Documentation of software products : recommendations for producers and users | 005.15 M848 Managing on-line data communications systems | 005.15 R822 Online computing in the laboratory |
There are no comments on this title.
Log in to your account to post a comment.
