Formal system verification : state-of-the-art and future trends
Language: English Series: Formal System VerificationPublisher: Cham Springer Nature 2018Description: xvi, 182p. : illISBN: 9783319576831Subject(s): COMPUTER SOFTWARE-Verification | COMPUTER SYSTEMS-Verification | ELECTRONIC SYSTEMS | Integrated circuits-VerificationItem type | Current location | Call number | Shelving info | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Book |
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.53 F6 (Browse shelf) | 03-02-01 | Available | 112854 |
Total holds: 0
Browsing Library, University of Moratuwa shelves, Shelving location: Lending Collection Close shelf browser
004.415.53 C5 Software testing : | 004.415.53 C5 Software testing : | 004.415.53 C5 Software testing : | 004.415.53 F6 Formal system verification : | 004.415.53 L4 Software testing and continuous quality improvement | 004.415.53 L4 Software testing and continuous quality improvement | 004.415.53 R6 Software testing |
There are no comments on this title.