The Foundations of program verification
Language: EN Series: Wiley-Teubner series in Computer SciencePublisher: Stuttgart Teubner 1984Edition: 2nd edDescription: ix, 230pISBN: 3519121018Subject(s): COMPUTER PROGRAMS-VerificationItem type | Current location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
![]() |
Library, University of Moratuwa
The University of Moratuwa Library (UML) is one of the most prominent technology libraries in the country. Its main subject specializations are Engineering, Architecture and Information Technology. However, the library caters to the requirements of the membership by housing books and other materials of general interest as well. |
004.415.5 L6 (Browse shelf) | Not For Loan | 75585 |
Total holds: 0
Browsing Library, University of Moratuwa shelves, Shelving location: On Request Collection Close shelf browser
No cover image available |
![]() |
No cover image available |
![]() |
![]() |
![]() |
![]() |
||
004.414.2 W4 Systems analysis and design | 004.415.2 M4 Object-oriented software construction | 004.415.2 S5 Systems design and HCI : a practical handbook | 004.415.5 L6 The Foundations of program verification | 004.415.53 S6 Engineering quality software | 004.415.538 G6 Testing client/server applications | 004.416.2 W7 What every engineer should know about microcomputer systems design & debugging |
There are no comments on this title.