OPAC Home  

Formal system verification : state-of-the-art and future trends

Contributor(s): Drechsler, Rolf [ed.]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-Verification
    Average rating: 0.0 (0 votes)
Item type Current location Call number Shelving info Status Date due Barcode Item holds
 Book 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.
Lending Collection
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.

to post a comment.

Copyright @ 2015-2021 Library, University of Moratuwa, Katubedda, Moratuwa (10400), Sri Lanka